Matthew Jasper
|
bc08b791bc
|
Fix bugs in evaluating WellFormed predicates
- List the nestsed obligations in an order that works with the
single pass used by evaluation
- Propagate recursion depth correctly
|
2020-10-06 11:19:31 +01:00 |
|
Matthew Jasper
|
f958e6c246
|
Separate bounds and predicates for associated/opaque types
|
2020-10-06 11:19:29 +01:00 |
|
Bram van den Heuvel
|
ef7377eb05
|
Update chalk to 0.29.0
|
2020-09-27 15:54:07 +02:00 |
|
Bram van den Heuvel
|
51c781f613
|
Upgrade chalk to 0.28.0
|
2020-09-24 20:54:33 +02:00 |
|
Bram van den Heuvel
|
5f67571e34
|
Update chalk to 0.27.0
|
2020-09-24 19:10:01 +02:00 |
|
Bram van den Heuvel
|
61b2a6f5e5
|
Update chalk to 0.26.0
|
2020-09-24 19:10:01 +02:00 |
|
Bram van den Heuvel
|
ed784023e5
|
Update chalk to 0.25.0
|
2020-09-24 19:10:01 +02:00 |
|
Bram van den Heuvel
|
cb660c6ab5
|
Update chalk to 0.24.0
|
2020-09-24 19:10:01 +02:00 |
|
Bram van den Heuvel
|
52eeff6fbe
|
Update chalk to 0.23.0
|
2020-09-24 19:10:00 +02:00 |
|
Bram van den Heuvel
|
b832a97a51
|
Update chalk to 0.22.0
|
2020-09-24 19:10:00 +02:00 |
|
est31
|
ebdea01143
|
Remove redundant #![feature(...)] 's from compiler/
|
2020-09-17 07:58:45 +02:00 |
|
Ralf Jung
|
0bcc96dd3d
|
Rollup merge of #76641 - nox:pointee-random-stuff, r=eddyb
Some cleanup changes and commenting
r? @nikomatsakis
Cc @eddyb
|
2020-09-16 08:25:00 +02:00 |
|
Anthony Ramine
|
caf6c92d19
|
Clean up some language trait items comparisons
|
2020-09-12 18:35:57 +02:00 |
|
Bram van den Heuvel
|
7dad29d686
|
Remove def_id field from ParamEnv
|
2020-09-09 10:14:31 +02:00 |
|
Jack Huey
|
0aa215305a
|
kind -> kind()
|
2020-09-04 19:17:57 -04:00 |
|
Jack Huey
|
f690569465
|
Review comments
|
2020-09-04 19:12:54 -04:00 |
|
Jack Huey
|
76c728901e
|
More chalk work
|
2020-09-04 19:12:54 -04:00 |
|
Jack Huey
|
d66452c3e5
|
Upgrade chalk to 0.21
|
2020-09-04 19:12:54 -04:00 |
|
LeSeulArtichaut
|
3e14b684dd
|
Change ty.kind to a method
|
2020-09-04 17:47:51 +02:00 |
|
mark
|
9e5f7d5631
|
mv compiler to compiler/
|
2020-08-30 18:45:07 +03:00 |
|