* Point at RHS of associated type in obligation span * Point at `impl` assoc type on projection error * Reduce verbosity of recursive obligations * Point at source of binding lifetime obligation * Tweak "required bound" note * Tweak "expected... found opaque (return) type" labels * Point at set type in impl assoc type WF errors |
||
|---|---|---|
| .. | ||
| traits | ||
| autoderef.rs | ||
| infer.rs | ||
| lib.rs | ||
| opaque_types.rs | ||