diff options
| author | Michael Goulet <michael@errs.io> | 2023-05-25 18:25:44 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-05-27 04:13:44 +0000 |
| commit | d7a2fdd4dba976fddfebe4b3be95a327bae39423 (patch) | |
| tree | 06ef3a90e5e1797e1b6e9e2143bc7b25a032c066 /compiler/rustc_traits/src/lib.rs | |
| parent | a25aee19575d59709e51b5c214fe49af7090e69d (diff) | |
| download | rust-d7a2fdd4dba976fddfebe4b3be95a327bae39423.tar.gz rust-d7a2fdd4dba976fddfebe4b3be95a327bae39423.zip | |
Uplift complex type ops back into typeck so we can call them locally
Diffstat (limited to 'compiler/rustc_traits/src/lib.rs')
| -rw-r--r-- | compiler/rustc_traits/src/lib.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_traits/src/lib.rs b/compiler/rustc_traits/src/lib.rs index b0f9c57154f..907e2d39c51 100644 --- a/compiler/rustc_traits/src/lib.rs +++ b/compiler/rustc_traits/src/lib.rs @@ -21,7 +21,8 @@ mod normalize_erasing_regions; mod normalize_projection_ty; mod type_op; -pub use type_op::{type_op_ascribe_user_type_with_span, type_op_prove_predicate_with_cause}; +pub use rustc_trait_selection::traits::query::type_op::ascribe_user_type::type_op_ascribe_user_type_with_span; +pub use type_op::type_op_prove_predicate_with_cause; use rustc_middle::query::Providers; |