See rust-lang#115558 (comment)

issue has since been fixed

Add myself to the mailmap

inspect: closer to proof trees for coherence

a continuation of rust-lang#115751. Now explicitly store the added goals

r? `@compiler-errors`

…r=nnethercote

simplify inject_impl_of_structural_trait

There's a comment at `inject_impl_of_structural_trait` saying we cannot use `TraitDef`, but that comment is outdated -- we *can* use `TraitDef` nowadays since it has the `skip_path_as_bound` flag. (The flag needed some fixing, though.)

…r-errors

nop_lift macros: ensure that we are using the right interner

Right now someone could put down the wrong list name when using these macros, and everything would still build. Nothing does a type-check to ensure that the `$set` contains element of type `Self::Lifted`. Let's fix that.

For lists this is fairly easy; for the other interners we need to unwrap some newtypes which makes this more complicated.

Add me as on vacation