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	Replace custom_encodable with encodable.	2023-11-22 18:37:14 +11:00
messages.ftl	s/generator/coroutine/	2023-10-20 21:14:01 +00:00