We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 2cd28c1 commit 627691fCopy full SHA for 627691f
src/librustc/traits/coherence.rs
@@ -378,12 +378,12 @@ fn orphan_check_trait_ref<'tcx>(
378
// Let Ti be the first such type.
379
// - No uncovered type parameters P1..=Pn may appear in T0..Ti (excluding Ti)
380
//
381
- fn uncover_fundamental_ty<'a>(
382
- tcx: TyCtxt<'_>,
383
- ty: Ty<'a>,
+ fn uncover_fundamental_ty<'tcx>(
+ tcx: TyCtxt<'tcx>,
+ ty: Ty<'tcx>,
384
in_crate: InCrate,
385
- ) -> Vec<Ty<'a>> {
386
- if fundamental_ty(ty) && !ty_is_local(tcx, ty, in_crate) {
+ ) -> Vec<Ty<'tcx>> {
+ if fundamental_ty(ty) && ty_is_non_local(tcx, ty, in_crate).is_some() {
387
ty.walk_shallow().flat_map(|ty| uncover_fundamental_ty(tcx, ty, in_crate)).collect()
388
} else {
389
vec![ty]
0 commit comments