diff options
| author | Dylan DPC <99973273+Dylan-DPC@users.noreply.github.com> | 2022-11-19 11:54:44 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-19 11:54:44 +0530 |
| commit | 00876c68c46d892790957931384d15d643de32fa (patch) | |
| tree | 6d0ddaca897d40646adb9a681ae78f3e236e6226 /compiler/rustc_const_eval/src/util/mod.rs | |
| parent | aeeac5dd0c079cbe36ea5ba6eed702e88906eb16 (diff) | |
| parent | b2e6d08e3f88aee01d84412e0ea8369c48e0f419 (diff) | |
| download | rust-00876c68c46d892790957931384d15d643de32fa.tar.gz rust-00876c68c46d892790957931384d15d643de32fa.zip | |
Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errors
nll: correctly deal with bivariance fixes #104409 when in a bivariant context, relating stuff should always trivially succeed. Also changes the mir validator to correctly deal with higher ranked regions. r? types cc ``@RalfJung``
Diffstat (limited to 'compiler/rustc_const_eval/src/util/mod.rs')
| -rw-r--r-- | compiler/rustc_const_eval/src/util/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_const_eval/src/util/mod.rs b/compiler/rustc_const_eval/src/util/mod.rs index 4d0f81a4060..76ea5a24e69 100644 --- a/compiler/rustc_const_eval/src/util/mod.rs +++ b/compiler/rustc_const_eval/src/util/mod.rs @@ -2,6 +2,7 @@ pub mod aggregate; mod alignment; mod call_kind; pub mod collect_writes; +mod compare_types; mod find_self_call; mod might_permit_raw_init; mod type_name; @@ -9,6 +10,7 @@ mod type_name; pub use self::aggregate::expand_aggregate; pub use self::alignment::is_disaligned; pub use self::call_kind::{call_kind, CallDesugaringKind, CallKind}; +pub use self::compare_types::{is_equal_up_to_subtyping, is_subtype}; pub use self::find_self_call::find_self_call; pub use self::might_permit_raw_init::might_permit_raw_init; pub use self::type_name::type_name; |