diff options
| author | lcnr <rust@lcnr.de> | 2022-12-04 03:19:10 +0000 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2022-12-19 16:46:17 +0000 |
| commit | a213bb36c953d2c342d8ae9303704e57bc8aab33 (patch) | |
| tree | 01fa1c6b8fa4b3e5099424ef9aba0c282fb43d94 /compiler/rustc_infer/src | |
| parent | 4653c93e4442d88bf3278067183c8fdc0be74a1f (diff) | |
| download | rust-a213bb36c953d2c342d8ae9303704e57bc8aab33.tar.gz rust-a213bb36c953d2c342d8ae9303704e57bc8aab33.zip | |
implement the skeleton of the updated trait solver
Diffstat (limited to 'compiler/rustc_infer/src')
| -rw-r--r-- | compiler/rustc_infer/src/infer/canonical/query_response.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/infer/canonical/query_response.rs b/compiler/rustc_infer/src/infer/canonical/query_response.rs index 996b1c40e3f..a722613e331 100644 --- a/compiler/rustc_infer/src/infer/canonical/query_response.rs +++ b/compiler/rustc_infer/src/infer/canonical/query_response.rs @@ -151,7 +151,11 @@ impl<'tcx> InferCtxt<'tcx> { }) } - fn take_opaque_types_for_query_response(&self) -> Vec<(Ty<'tcx>, Ty<'tcx>)> { + /// FIXME: This method should only be used for canonical queries and therefore be private. + /// + /// As the new solver does canonicalization slightly differently, this is also used there + /// for now. This should hopefully change fairly soon. + pub fn take_opaque_types_for_query_response(&self) -> Vec<(Ty<'tcx>, Ty<'tcx>)> { self.inner .borrow_mut() .opaque_type_storage |