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 /compiler/rustc_trait_selection/src | |
| parent | 7f4cc178f07fca98aee1b58bb4f82b2f45f8afac (diff) | |
Add a fixme and address a more non trivial case
Co-authored-by: nils <48135649+Nilstrieb@users.noreply.github.com>
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/assembly.rs | 3 |
1 files changed, 2 insertions, 1 deletions
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>, |