a6d926d80d
Fix tests
2021-03-03 11:22:44 +01:00
66211f6657
Rollup merge of #82066 - matthewjasper:trait-ref-fix, r=jackh726
...
Ensure valid TraitRefs are created for GATs
This fixes `ProjectionTy::trait_ref` to use the correct substs. Places that need all of the substs have been updated to not use `trait_ref`.
r? ````@jackh726````
2021-02-18 16:57:34 +01:00
dfee89f755
Make ProjectionTy::trait_ref truncate substs again
...
Also make sure that type arguments of associated types are printed in
some error messages.
2021-02-13 19:30:07 +00:00
361dcd5ca7
Use debug log level for developer oriented logs
...
The information logged here is of limited general interest, while at the
same times makes it impractical to simply enable logging and share the
resulting logs due to the amount of the output produced.
Reduce log level from info to debug for developer oriented information.
For example, when building cargo, this reduces the amount of logs
generated by `RUSTC_LOG=info cargo build` from 265 MB to 79 MB.
Continuation of changes from 81350.
2021-02-13 00:00:00 +00:00
a0622d60e0
Update Chalk
2021-02-02 12:37:22 -05:00
4b64bc1fc9
Upgrade Chalk
2021-02-01 10:37:45 -05:00
50e1ae15e9
Use ty::{IntTy,UintTy,FloatTy} in rustc
2021-01-18 21:09:30 +01:00
3dea68de1d
Review changes
2021-01-16 18:56:37 -05:00
66c179946b
Use no_bound_vars
2021-01-16 18:50:34 -05:00
476bd53058
Cleanup
2021-01-16 18:50:34 -05:00
e76476afe4
Cleanup
2021-01-16 18:40:47 -05:00
4cd6f85a07
Remove PredicateKind
2021-01-16 18:40:47 -05:00
4cb3d6f983
Intermediate formatting and such
2021-01-16 18:40:47 -05:00
8278314a8b
Remove PredicateKind::Atom
2021-01-16 18:40:47 -05:00
cb177852c1
fix: small typo error in chalk/mod.rs
2020-12-27 03:22:23 +01:00
328fcee4af
Make BoundRegion have a kind of BoungRegionKind
2020-12-18 15:27:28 -05:00
ed80815bf2
Move binder for dyn to each list item
2020-12-11 15:02:46 -05:00
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
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
2bf93bd852
compiler: fold by value
2020-11-16 22:34:57 +01:00
e0f3119103
Introduce TypeVisitor::BreakTy
2020-11-14 20:25:27 +01:00
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
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
4d60a80713
Address review comment and update chalk to 0.36.0
2020-10-30 19:39:33 +00:00
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
299a65ff71
Update chalk 0.32.0 -> 0.35.0
2020-10-30 19:39:30 +00:00
bfecb18771
Fix some more clippy warnings
2020-10-30 10:12:56 -04:00
9433eb83fe
Remove implicit Continue type
2020-10-30 12:27:47 +01:00
61f8182cec
TypeVisitor: use ControlFlow in rustc_{mir,privacy,traits,typeck}
2020-10-30 12:27:44 +01:00
11d62aa284
Review comments
2020-10-16 12:58:50 -04:00
dd5c9bf139
Use map_bound(_ref) instead of Binder::bind when possible
2020-10-16 12:58:50 -04:00
a64ad51ff7
Address comments
2020-10-14 00:17:42 -04:00
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
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
c9eeb60b63
Deduplicate some code
2020-10-06 11:19:33 +01:00
022c148fcd
Fix tests from rebase
2020-10-06 11:19:33 +01:00
27534b3932
Fix rebase
2020-10-06 11:19:33 +01:00
d08ab945de
Fix rebase
2020-10-06 11:19:32 +01:00
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
f958e6c246
Separate bounds and predicates for associated/opaque types
2020-10-06 11:19:29 +01:00
51c781f613
Upgrade chalk to 0.28.0
2020-09-24 20:54:33 +02:00
5f67571e34
Update chalk to 0.27.0
2020-09-24 19:10:01 +02:00
61b2a6f5e5
Update chalk to 0.26.0
2020-09-24 19:10:01 +02:00
ebdea01143
Remove redundant #![feature(...)] 's from compiler/
2020-09-17 07:58:45 +02:00
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
caf6c92d19
Clean up some language trait items comparisons
2020-09-12 18:35:57 +02:00
7dad29d686
Remove def_id field from ParamEnv
2020-09-09 10:14:31 +02:00
0aa215305a
kind -> kind()
2020-09-04 19:17:57 -04:00
f690569465
Review comments
2020-09-04 19:12:54 -04:00
76c728901e
More chalk work
2020-09-04 19:12:54 -04:00
Ryan Levick