bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

handle ascription type op in NLL HRTB diagnostics

Browse source 
Refactors the `type_op_ascribe_user_type` query into a version which
accepts a span, and uses it in the nicer NLL HRTB bound region errors.
This commit is contained in:
Rémy Rakic 2021-08-23 23:31:01 +02:00
parent 52c881ff52
commit 820e2680ec
3 changed files with 73 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_traits/src/lib.rs
View file

@ -19,7 +19,7 @@ mod normalize_erasing_regions;
mod normalize_projection_ty;
mod type_op;
pub use type_op::type_op_prove_predicate_with_span;
pub use type_op::{type_op_ascribe_user_type_with_span, type_op_prove_predicate_with_span};
use rustc_middle::ty::query::Providers;