diff options
| author | est31 <MTest31@outlook.com> | 2023-03-04 06:20:03 +0100 |
|---|---|---|
| committer | est31 <MTest31@outlook.com> | 2023-03-11 20:42:53 +0100 |
| commit | 9475717ea302b43dcca2ccf49628525cfe82fbf7 (patch) | |
| tree | a14f310109df0977d0e339c3ad0e187bb000c967 | |
| parent | 7f4cc178f07fca98aee1b58bb4f82b2f45f8afac (diff) | |
Add a fixme and address a more non trivial case
Co-authored-by: nils <48135649+Nilstrieb@users.noreply.github.com>
| -rw-r--r-- | compiler/rustc_hir_typeck/src/closure.rs | 2 | ||||
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/assembly.rs | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/compiler/rustc_hir_typeck/src/closure.rs b/compiler/rustc_hir_typeck/src/closure.rs index d84fabb7834..773ac0e40c5 100644 --- a/compiler/rustc_hir_typeck/src/closure.rs +++ b/compiler/rustc_hir_typeck/src/closure.rs @@ -398,7 +398,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> { /// /// Here: /// - E would be `fn(&u32) -> &u32`. - /// - S would be `fn(&u32) -> + /// - S would be `fn(&u32) -> ?T` /// - E' is `&'!0 u32 -> &'!0 u32` /// - S' is `&'?0 u32 -> ?T` /// diff --git a/compiler/rustc_trait_selection/src/solve/assembly.rs b/compiler/rustc_trait_selection/src/solve/assembly.rs index dec9f8016b0..626b44d08e7 100644 --- a/compiler/rustc_trait_selection/src/solve/assembly.rs +++ b/compiler/rustc_trait_selection/src/solve/assembly.rs @@ -247,7 +247,8 @@ impl<'tcx> EvalCtxt<'_, 'tcx> { /// /// To deal with this, we first try to normalize the self type and add the candidates for the normalized /// self type to the list of candidates in case that succeeds. Note that we can't just eagerly return in - /// this case as projections as self types add ` + /// this case as projections as self types add + // FIXME complete the unfinished sentence above fn assemble_candidates_after_normalizing_self_ty<G: GoalKind<'tcx>>( &mut self, goal: Goal<'tcx, G>, |