diff options
| author | 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> | 2024-07-08 13:04:32 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-08 13:04:32 +0800 |
| commit | 928d71f17bfafa1038bea9675d85dcb13a2088fd (patch) | |
| tree | c72c9d3d86bed62e89c2175203c9319dec583e78 /compiler/rustc_infer/src | |
| parent | bd4ab30e9cebac366f1b21821b12e65a8d6167b1 (diff) | |
| parent | ab27c2fa771f589f333eb798b892c506e1f436fa (diff) | |
| download | rust-928d71f17bfafa1038bea9675d85dcb13a2088fd.tar.gz rust-928d71f17bfafa1038bea9675d85dcb13a2088fd.zip | |
Rollup merge of #127437 - compiler-errors:uplift-trait-ref-is-knowable, r=lcnr
Uplift trait ref is knowable into `rustc_next_trait_solver` Self-explanatory. Eliminates one more delegate method. r? lcnr cc ``@fmease``
Diffstat (limited to 'compiler/rustc_infer/src')
| -rw-r--r-- | compiler/rustc_infer/src/infer/context.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_infer/src/infer/context.rs b/compiler/rustc_infer/src/infer/context.rs index 209996b12e2..f35a8162d96 100644 --- a/compiler/rustc_infer/src/infer/context.rs +++ b/compiler/rustc_infer/src/infer/context.rs @@ -151,6 +151,10 @@ impl<'tcx> InferCtxtLike for InferCtxt<'tcx> { .eq_structurally_relating_aliases_no_trace(lhs, rhs) } + fn shallow_resolve(&self, ty: Ty<'tcx>) -> Ty<'tcx> { + self.shallow_resolve(ty) + } + fn resolve_vars_if_possible<T>(&self, value: T) -> T where T: TypeFoldable<TyCtxt<'tcx>>, |