lcnr 1b3164f5c9 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.

2024-02-26 10:17:43 +01:00

..

src

always emit AliasRelate goals when relating aliases

2024-02-26 10:17:43 +01:00

Cargo.toml

Make it not depend on nightly conditionally

2023-12-08 17:44:01 +00:00