Michael Goulet

Results 300 comments of Michael Goulet

@rustbot label +beta-nominated Fixes a beta regression https://github.com/rust-lang/rust/issues/130576 which was introduced by https://github.com/rust-lang/rust/pull/129059, but which i only caught in the crater run for https://github.com/rust-lang/rust/pull/129021#issuecomment-2297702647

I'll let @lcnr do the judgement call of whether this needs a lang FCP or if types suffices. Thanks for picking this back up!

> I think the only observable difference is the size of the closure value (though I'm not sure). Is that worth including? Definitely also affects auto traits.

Could you please do a perf run before this lands too? The extra call to `hir_attrs` in `predicates_of` may need to be querifyied and/or some fast path might need to...

@estebank: Not sure why I got a ping directly lol, but this is blocked on coinduction which is blocked on the new trait solver.

If it's not too much work, could we do a crater run here to find out what kind of places are using this kind of comparison in the wild?