Florian Diebold
|
1d5c4a77fb
|
Use QuantifiedWhereClause in generic_predicates as well
Still far too much binder skipping going on; I find it hard to imagine
this is all correct, but the tests pass.
|
2021-03-21 18:01:14 +01:00 |
|
Florian Diebold
|
7ec3b66f7a
|
Turn Obligation into something similar to chalk_ir::DomainGoal
This includes starting to make use of Chalk's `Cast` trait.
|
2021-03-20 12:47:12 +01:00 |
|
Florian Diebold
|
7a5fb37cf1
|
Rename GenericPredicate -> WhereClause
|
2021-03-20 10:46:36 +01:00 |
|
Florian Diebold
|
c82d1823a1
|
Create TraitEnvironment through a query
|
2021-03-13 20:38:45 +01:00 |
|
Florian Diebold
|
b035c314b4
|
Use chalk_ir::OpaqueTyId
|
2021-03-13 20:05:47 +01:00 |
|
Florian Diebold
|
1bf6b7360c
|
Use chalk_ir::PlaceholderIndex
|
2021-03-13 19:47:34 +01:00 |
|
Florian Diebold
|
2d69eb131f
|
Use chalk_ir::ClosureId
|
2021-03-13 19:27:09 +01:00 |
|
Florian Diebold
|
9719ce9fc7
|
Use chalk_ir::FnDefId
|
2021-03-13 17:56:48 +01:00 |
|
Laurențiu Nicola
|
d3ca22876c
|
Make two calls virtual
|
2021-03-05 20:25:24 +02:00 |
|
Aramis Razzaghipour
|
9b5ba090db
|
Remove map module from la-arena public API
It’s unlikely that more items will be added to the module,
so it’s simpler for users if `ArenaMap` is re-exported
and the module made private.
|
2021-01-15 11:14:04 +11:00 |
|
Aleksey Kladov
|
4c4e54ac8a
|
prepare to publish el libro de arena
|
2021-01-14 19:06:02 +03:00 |
|
Lukas Wirth
|
0acdb73076
|
Add ConstParams to the HIR
|
2021-01-01 10:06:42 +01:00 |
|
Florian Diebold
|
78dd548243
|
Upgrade Chalk
Also make overflow depth and max type size configurable through env variables.
This can be helpful at least for debugging.
Fixes #6628.
|
2020-12-07 11:48:58 +01:00 |
|
Aleksey Kladov
|
6a77ec7bbe
|
Rename ra_hir_ty -> hir_ty
|
2020-08-13 16:35:29 +02:00 |
|