Michael Goulet comments

Results 300 comments of


                                            Michael Goulet

Eagerly instantiate closure/coroutine-like bounds with placeholders to deal with binders correctly

@bors try

Eagerly instantiate closure/coroutine-like bounds with placeholders to deal with binders correctly

@craterbot check

Eagerly instantiate closure/coroutine-like bounds with placeholders to deal with binders correctly

Crater run is clean. One failure is `lu_packets`, which is known bad (it has impl-sorting dependent overflow errors). Others are disk out of space, except for [`wpilog-rs`](https://crater-reports.s3.amazonaws.com/pr-122267/try%2305804f728f276cf7ecedbf71c814df440d37f293/gh/oh-yes-0-fps.wpilog-rs/log.txt) which has no...

Eagerly instantiate closure/coroutine-like bounds with placeholders to deal with binders correctly

@bors r=lcnr

ICE: `!ty.is_copy_modulo_regions(tcx, param_env)`

Minimal: ```rust #![feature(unsized_fn_params)] #[derive(Copy, Clone)] struct Target(str); fn w(t: &Target) { x(*t); } fn x(t: Target) {} ```

Add `intrinsic_name` to get plain intrinsic name

otherwise looks fine to me

Fix validation on substituted callee bodies in MIR inliner

@rustbot ready

Fix validation on substituted callee bodies in MIR inliner

@bors r=cjgillot

Split refining_impl_trait lint into _reachable, _internal variants

> There's also a test failing with the new trait solver that looks like a bug (normalizing-self-auto-trait-issue-109924.rs gives a refinement error when it shouldn't). Yeah, this is a new solver...

Split refining_impl_trait lint into _reachable, _internal variants

@bors r+