rust/compiler/rustc_trait_selection/src/traits
Matthias Krüger ae01430078
Rollup merge of #108295 - compiler-errors:wtf-is-this, r=cjgillot
Use DefKind to give more item kind information during BindingObligation note

The current label says "required by a bound in this". When I see that label, my immediate impression is "this... **what**?". It feels like it was cut short.

Alternative to this would be saying "in this item", but adding the item kind is strictly more informational and adds very little overhead to the existing error presentation.
2023-02-21 23:02:00 +01:00
..
error_reporting Specify what 'this' actually is 2023-02-21 05:21:07 +00:00
query remove bound_type_of query; make type_of return EarlyBinder; change type_of in metadata 2023-02-16 17:05:56 -07:00
select Make hidden type registration opt-in, so that each site can be reviewed on its own and we have the right defaults for trait solvers 2023-02-21 14:50:51 +00:00
specialize Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstrieb 2023-02-17 17:42:51 +00:00
auto_trait.rs Add Clause::ConstArgHasType variant 2023-02-17 09:30:33 +00:00
chalk_fulfill.rs Compute generator saved locals on MIR. 2023-01-27 20:10:06 +00:00
coherence.rs Make hidden type registration opt-in, so that each site can be reviewed on its own and we have the right defaults for trait solvers 2023-02-21 14:50:51 +00:00
const_evaluatable.rs Make visiting traits generic over the Interner 2023-02-13 10:24:49 +00:00
engine.rs Make hidden type registration opt-in, so that each site can be reviewed on its own and we have the right defaults for trait solvers 2023-02-21 14:50:51 +00:00
fulfill.rs add predicate evaluation logic 2023-02-17 09:32:39 +00:00
misc.rs rename query and use NoSolution 2023-02-12 19:32:07 +00:00
mod.rs if $c:expr { Some($r:expr) } else { None } =>> $c.then(|| $r) 2023-02-16 15:26:00 +00:00
object_safety.rs Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstrieb 2023-02-17 17:42:51 +00:00
outlives_bounds.rs fix: use LocalDefId instead of HirId in trait res 2023-01-23 11:42:18 +00:00
project.rs Make hidden type registration opt-in, so that each site can be reviewed on its own and we have the right defaults for trait solvers 2023-02-21 14:50:51 +00:00
structural_match.rs s/eval_usize/eval_target_usize/ for clarity 2023-02-14 08:51:19 +00:00
util.rs remove unused imports 2022-12-26 15:01:20 +09:00
vtable.rs Copy ty::AssocItem all other the place 2023-02-15 20:22:41 +00:00
wf.rs Add Clause::ConstArgHasType variant 2023-02-17 09:30:33 +00:00