pub trait AtExt<'tcx> {
fn normalize<T>(&self, value: T) -> Result<Normalized<'tcx, T>, NoSolution>
where
T: TypeFoldable<'tcx>;
}
Required Methods
sourcefn normalize<T>(&self, value: T) -> Result<Normalized<'tcx, T>, NoSolution>where