diff options
| author | Michael Goulet <michael@errs.io> | 2024-05-10 14:27:48 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-05-10 15:44:03 -0400 |
| commit | 5e606c0bde35564df43a82d7c6ae32ad700c009c (patch) | |
| tree | fd30ec44620822aa3807f7a9b346949dec3f50b2 /compiler/rustc_trait_selection/src | |
| parent | 6a19a87097fbf430d0fe09e15d9266a990c1e0f6 (diff) | |
| download | rust-5e606c0bde35564df43a82d7c6ae32ad700c009c.tar.gz rust-5e606c0bde35564df43a82d7c6ae32ad700c009c.zip | |
Lift `Lift`
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/query/type_op/normalize.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/query/type_op/normalize.rs b/compiler/rustc_trait_selection/src/traits/query/type_op/normalize.rs index 279d96dec72..e9948bf1f71 100644 --- a/compiler/rustc_trait_selection/src/traits/query/type_op/normalize.rs +++ b/compiler/rustc_trait_selection/src/traits/query/type_op/normalize.rs @@ -34,7 +34,9 @@ where } } -pub trait Normalizable<'tcx>: fmt::Debug + TypeFoldable<TyCtxt<'tcx>> + Lift<'tcx> + Copy { +pub trait Normalizable<'tcx>: + fmt::Debug + TypeFoldable<TyCtxt<'tcx>> + Lift<TyCtxt<'tcx>> + Copy +{ fn type_op_method( tcx: TyCtxt<'tcx>, canonicalized: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Self>>>, |