Jack Huey
476bd53058
Cleanup
2021-01-16 18:50:34 -05:00
Jack Huey
e76476afe4
Cleanup
2021-01-16 18:40:47 -05:00
Jack Huey
4cd6f85a07
Remove PredicateKind
2021-01-16 18:40:47 -05:00
Jack Huey
4cb3d6f983
Intermediate formatting and such
2021-01-16 18:40:47 -05:00
Jack Huey
8278314a8b
Remove PredicateKind::Atom
2021-01-16 18:40:47 -05:00
0xflotus
cb177852c1
fix: small typo error in chalk/mod.rs
2020-12-27 03:22:23 +01:00
Jack Huey
328fcee4af
Make BoundRegion have a kind of BoungRegionKind
2020-12-18 15:27:28 -05:00
Jack Huey
ed80815bf2
Move binder for dyn to each list item
2020-12-11 15:02:46 -05:00
Joshua Nelson
6354e85e8f
Don't run resolve_vars_if_possible in normalize_erasing_regions
...
NOTE: `needs_infer()` needs to come after ignoring generic parameters
2020-11-18 12:25:36 -05:00
bors
e0ef0fc392
Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obk
...
Introduce `TypeVisitor::BreakTy`
Implements MCP rust-lang/compiler-team#383 .
r? `@ghost`
cc `@lcnr` `@oli-obk`
~~Blocked on FCP in rust-lang/compiler-team#383.~~
2020-11-17 12:24:34 +00:00
Bastian Kauschke
2bf93bd852
compiler: fold by value
2020-11-16 22:34:57 +01:00
LeSeulArtichaut
e0f3119103
Introduce TypeVisitor::BreakTy
2020-11-14 20:25:27 +01:00
Dylan DPC
0aed74aa43
Rollup merge of #78502 - matthewjasper:chalkup, r=nikomatsakis
...
Update Chalk to 0.36.0
This PR updates Chalk and fixes a number of bugs in the chalk integration code.
cc `@rust-lang/wg-traits`
r? `@nikomatsakis`
2020-11-09 19:06:46 +01:00
bors
0d033dee3e
Auto merge of #78182 - LeSeulArtichaut:ty-visitor-contolflow, r=lcnr,oli-obk
...
TypeVisitor: use `std::ops::ControlFlow` instead of `bool`
Implements MCP rust-lang/compiler-team#374 .
Blocked on FCP in rust-lang/compiler-team#374 .
r? `@lcnr` cc `@jonas-schievink`
2020-10-30 22:53:55 +00:00
Matthew Jasper
4d60a80713
Address review comment and update chalk to 0.36.0
2020-10-30 19:39:33 +00:00
Matthew Jasper
acb6a06123
Fix various Chalk lowering bugs
...
- Add more well-known traits
- Use the correct binders when lowering trait objects
- Use correct substs when lowering trait objects
- Use the correct binders for opaque_ty_data
- Lower negative impls with the correct polarity
- Supply associated type values
- Use `predicates_defined_on` for where clauses
2020-10-30 19:39:33 +00:00
Matthew Jasper
299a65ff71
Update chalk 0.32.0 -> 0.35.0
2020-10-30 19:39:30 +00:00
Joshua Nelson
bfecb18771
Fix some more clippy warnings
2020-10-30 10:12:56 -04:00
LeSeulArtichaut
9433eb83fe
Remove implicit Continue type
2020-10-30 12:27:47 +01:00
LeSeulArtichaut
61f8182cec
TypeVisitor: use ControlFlow in rustc_{mir,privacy,traits,typeck}
2020-10-30 12:27:44 +01:00
Jack Huey
11d62aa284
Review comments
2020-10-16 12:58:50 -04:00
Jack Huey
dd5c9bf139
Use map_bound(_ref) instead of Binder::bind when possible
2020-10-16 12:58:50 -04:00
Roxane
a64ad51ff7
Address comments
2020-10-14 00:17:42 -04:00
Roxane
dc183702da
Replace tuple of infer vars for upvar_tys with single infer var
...
This commit allows us to decide the number of captures required after
completing capture ananysis, which is required as part of implementing
RFC-2229.
Co-authored-by: Aman Arora <me@aman-arora.com>
Co-authored-by: Jenny Wills <wills.jenniferg@gmail.com>
2020-10-11 03:32:35 -04:00
Bram van den Heuvel
e185278534
Update chalk to 0.32.0
2020-10-08 13:17:01 +02:00
Jack Huey
23491084bc
Update to chalk 0.31. Implement some unimplemented. Ignore some tests in compare mode chalk don't finish.
2020-10-06 14:14:25 -04:00
Matthew Jasper
c9eeb60b63
Deduplicate some code
2020-10-06 11:19:33 +01:00
Matthew Jasper
022c148fcd
Fix tests from rebase
2020-10-06 11:19:33 +01:00
Matthew Jasper
27534b3932
Fix rebase
2020-10-06 11:19:33 +01:00
Matthew Jasper
d08ab945de
Fix rebase
2020-10-06 11:19:32 +01:00
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
