Michael Goulet
6439c7fe23
Require foldability part of interner item bounds, remove redundant where clauses
2024-03-28 12:30:52 -04:00
Michael Goulet
08c7ff2264
Restrict const ty's regions to static when putting them in canonical var list
2024-03-28 12:30:52 -04:00
Matthias Krüger
cb03714e6f
Rollup merge of #122907 - compiler-errors:uniquify-reerror, r=lcnr
...
Uniquify `ReError` on input mode in canonicalizer
See test descr
Fixes #122861
r? lcnr
2024-03-24 01:05:53 +01:00
Michael Goulet
1fcf2eaa9f
Uniquify ReError on input mode in canonicalizer
2024-03-22 16:35:50 -04:00
Michael Goulet
ff0c31e6b9
Programmatically convert some of the pat ctors
2024-03-22 11:13:29 -04:00
Michael Goulet
1eedca8bdf
Allow a way to add constructors for rustc_type_ir types
2024-03-04 15:39:59 +00:00
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
Michael Goulet
7e80867f3c
Move visitable bounds up into interner
2024-02-13 15:53:15 +00:00
Michael Goulet
edc5053352
Add assertions back to canonicalizer
2024-02-13 15:40:59 +00:00
Michael Goulet
c567eddec2
Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs
2024-02-06 02:22:58 +00:00
Michael Goulet
fcb42b42d6
Remove movability from TyKind::Coroutine
2023-12-28 16:35:01 +00:00
Michael Goulet
146e345d8b
Opportunistically resolve region var in canonicalizer
2023-12-15 05:02:37 +00:00
Michael Goulet
80f240a539
Make it not depend on nightly conditionally
2023-12-08 17:44:01 +00:00
Michael Goulet
1f5895b3e3
Feedback
...
- Take more things by self, not &self
- Clone more things
- Rework namespacing so we can use `ty::` in the canonicalizer
2023-12-08 17:44:01 +00:00
Michael Goulet
cb41509601
Uplift canonicalizer into new trait solver crate
2023-12-08 17:44:01 +00:00
