Searched defs:ExternalConstraints (Results 1 – 1 of 1) sorted by relevance
138 pub struct ExternalConstraints<'tcx>(pub(crate) Interned<'tcx, ExternalConstraintsData<'tcx>>); struct140 impl<'tcx> std::ops::Deref for ExternalConstraints<'tcx> { implementation161 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ExternalConstraints<'tcx> { implementation184 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ExternalConstraints<'tcx> { implementation