Michael Goulet

Results 176 comments of Michael Goulet

Minimized: ```rust fn opaque(t: T) -> impl Sized { opaque(Some(t)) } #[allow(dead_code)] fn main() {} ``` Let me find a good way to explain what the issue is. edit: left...

Probably not fixed by #99893, but the fix is very likely quite similar. Let me take a look tonight (and also complete that PR mentioned). @rustbot claim

Presumably this makes compilation slower, but the perf tests don't show the effect on the performance of the compiled code, right?

@bjorn3 I don't think this can exist in typeck, at least not without extra type information encoded into the program, since we can't determine if a `ty::Param` is tupled or...

> Will this also fix the ICE in https://github.com/rust-lang/rust/issues/57404? Yes, just checked.

@cjgillot with this PR, that issue now reports: ``` error[E0277]: `&mut ()` is not a tuple --> /home/gh-compiler-errors/test.rs:6:41 | 6 | handlers.unwrap().as_mut().call_mut(&mut ()); | -------- -^^^^^^ | | | |...

Removing A-diagnostics because I don' t think this is a diagnostics issue necessarily. I can modify the check that we use for checking the union's field are `Copy` to consider...