pub type CanonicalTy<'tcx> = Canonical<'tcx, Ty<'tcx>>;
extern {
- /// A dummy type used to force `List` to by unsized without requiring fat pointers.
+ /// A dummy type used to force `List` to be unsized while not requiring references to it be wide
+ /// pointers.
type OpaqueListContents;
}
/// No direct syntax. May be thought of as `where T: FnFoo<...>`
/// for some substitutions `...` and `T` being a closure type.
/// Satisfied (or refuted) once we know the closure's kind.
- ClosureKind(DefId, ClosureSubsts<'tcx>, ClosureKind),
+ ClosureKind(DefId, SubstsRef<'tcx>, ClosureKind),
/// `T1 <: T2`
Subtype(PolySubtypePredicate<'tcx>),
WalkTysIter::None
}
ty::Predicate::ClosureKind(_closure_def_id, closure_substs, _kind) => {
- WalkTysIter::Types(closure_substs.substs.types())
+ WalkTysIter::Types(closure_substs.types())
}
ty::Predicate::ConstEvaluatable(_, substs) => {
WalkTysIter::Types(substs.types())