diff options
| author | lcnr <rust@lcnr.de> | 2024-02-26 10:17:43 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-02-26 10:17:43 +0100 |
| commit | 1b3164f5c9098c239bc23b3bfea657cc27ff80c7 (patch) | |
| tree | ff3df2ec807c4aaaf9052a3d84ceab17b423c4c1 /compiler/rustc_llvm/llvm-wrapper | |
| parent | eeeb9b4d3148b9153a872fa61f29c9fb3efa5a64 (diff) | |
| download | rust-1b3164f5c9098c239bc23b3bfea657cc27ff80c7.tar.gz rust-1b3164f5c9098c239bc23b3bfea657cc27ff80c7.zip | |
always emit `AliasRelate` goals when relating aliases
Add `StructurallyRelateAliases` to allow instantiating infer vars with rigid aliases. Change `instantiate_query_response` to be infallible in the new solver. This requires canonicalization to not hide any information used by the query, so weaken universe compression. It also modifies `term_is_fully_unconstrained` to allow region inference variables in a higher universe.
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper')
0 files changed, 0 insertions, 0 deletions