diff options
| author | Michael Goulet <michael@errs.io> | 2024-06-30 11:30:55 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-07-05 11:59:52 -0400 |
| commit | fdde66acee3ba4c85798ea5120fa76f86bf697fe (patch) | |
| tree | 241e261cb51f44d1799577a0032511651a659512 /compiler/rustc_infer/src | |
| parent | 11dd90f7613a4b160ed8398a3f1c7c129ad1a372 (diff) | |
| download | rust-fdde66acee3ba4c85798ea5120fa76f86bf697fe.tar.gz rust-fdde66acee3ba4c85798ea5120fa76f86bf697fe.zip | |
Process alias-relate obligations when proving receiver_is_valid
Diffstat (limited to 'compiler/rustc_infer/src')
| -rw-r--r-- | compiler/rustc_infer/src/infer/mod.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_infer/src/infer/mod.rs b/compiler/rustc_infer/src/infer/mod.rs index ff593d7ffb7..835c412a64d 100644 --- a/compiler/rustc_infer/src/infer/mod.rs +++ b/compiler/rustc_infer/src/infer/mod.rs @@ -767,6 +767,8 @@ impl<'tcx> InferCtxt<'tcx> { .collect() } + // FIXME(-Znext-solver): Get rid of this method, it's never correct. Either that, + // or we need to process the obligations. pub fn can_sub<T>(&self, param_env: ty::ParamEnv<'tcx>, expected: T, actual: T) -> bool where T: at::ToTrace<'tcx>, @@ -779,6 +781,8 @@ impl<'tcx> InferCtxt<'tcx> { }) } + // FIXME(-Znext-solver): Get rid of this method, it's never correct. Either that, + // or we need to process the obligations. pub fn can_eq<T>(&self, param_env: ty::ParamEnv<'tcx>, a: T, b: T) -> bool where T: at::ToTrace<'tcx>, |