bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add a fixme and address a more non trivial case

Browse source 
Co-authored-by: nils <48135649+Nilstrieb@users.noreply.github.com>
This commit is contained in:
est31 2023-03-04 06:20:03 +01:00
parent 7f4cc178f0
commit 9475717ea3
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_hir_typeck/src/closure.rs
View file

@ -398,7 +398,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
/// ///
/// Here: /// Here:
/// - E would be `fn(&u32) -> &u32`. /// - E would be `fn(&u32) -> &u32`.
/// - S would be `fn(&u32) -> /// - S would be `fn(&u32) -> ?T`
/// - E' is `&'!0 u32 -> &'!0 u32` /// - E' is `&'!0 u32 -> &'!0 u32`
/// - S' is `&'?0 u32 -> ?T` /// - S' is `&'?0 u32 -> ?T`
/// ///

3
compiler/rustc_trait_selection/src/solve/assembly.rs
View file

@ -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 /// 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 /// 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>>( fn assemble_candidates_after_normalizing_self_ty<G: GoalKind<'tcx>>(
&mut self, &mut self,
goal: Goal<'tcx, G>, goal: Goal<'tcx, G>,