diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2021-08-23 23:31:01 +0200 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2021-08-23 23:31:01 +0200 |
| commit | 820e2680ec2f7f5f1b42dc94374986d251a22aff (patch) | |
| tree | e3b69803434a77b8bb07c066ff94bf8b8bfae223 /compiler/rustc_traits/src/lib.rs | |
| parent | 52c881ff5240bf0f09557a3c100f40704b5db836 (diff) | |
| download | rust-820e2680ec2f7f5f1b42dc94374986d251a22aff.tar.gz rust-820e2680ec2f7f5f1b42dc94374986d251a22aff.zip | |
handle ascription type op in NLL HRTB diagnostics
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.
Diffstat (limited to 'compiler/rustc_traits/src/lib.rs')
| -rw-r--r-- | compiler/rustc_traits/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_traits/src/lib.rs b/compiler/rustc_traits/src/lib.rs index 8dd7c5bdfae..48c46c30693 100644 --- a/compiler/rustc_traits/src/lib.rs +++ b/compiler/rustc_traits/src/lib.rs @@ -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; |