lcnr
6db7ac6233
ping on wf changes, remove fixme
2024-04-05 15:09:48 +02:00
Boxy
82789763c7
rebase
2024-04-04 02:14:57 +01:00
lcnr
2b67f0104a
check FnDef return type for WF
2024-04-04 01:55:29 +01:00
bors
0ad5e0d2de
Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgr
...
Rollup of 8 pull requests
Successful merges:
- #114009 (compiler: allow transmute of ZST arrays with generics)
- #122195 (Note that the caller chooses a type for type param)
- #122651 (Suggest `_` for missing generic arguments in turbofish)
- #122784 (Add `tag_for_variant` query)
- #122839 (Split out `PredicatePolarity` from `ImplPolarity`)
- #122873 (Merge my contributor emails into one using mailmap)
- #122885 (Adjust better spastorino membership to triagebot's adhoc_groups)
- #122888 (add a couple more tests)
r? `@ghost`
`@rustbot` modify labels: rollup
2024-03-22 22:35:11 +00:00
Michael Goulet
4b87c0b9c9
Split out ImplPolarity and PredicatePolarity
2024-03-22 11:16:56 -04:00
Michael Goulet
ff0c31e6b9
Programmatically convert some of the pat ctors
2024-03-22 11:13:29 -04:00
Michael Goulet
04524c8f6a
Consolidate WF for aliases
2024-03-14 12:17:00 -04:00
Shoyu Vanilla
6721b392e9
Replace TypeWalker usage with TypeVisitor
2024-03-08 20:49:03 +09:00
Lukas Markeffsky
6bd970d585
address review feedback
2024-03-04 21:06:52 +01:00
Lukas Markeffsky
189e7843e8
adjust obligation spans for super projections
2024-03-04 21:06:52 +01:00
lcnr
9771fb08b6
split project into multiple files
2024-02-19 09:17:00 +01:00
Shoyu Vanilla
3856df059e
Dejargnonize subst
2024-02-12 15:46:35 +09:00
Michael Goulet
c98d6994a3
More comments, final tweaks
2024-02-06 02:22:58 +00:00
Michael Goulet
c567eddec2
Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs
2024-02-06 02:22:58 +00:00
Michael Goulet
5d3a294b46
Only check principal trait ref for object safety
2023-12-06 20:22:37 +00:00
Nilstrieb
21a870515b
Fix clippy::needless_borrow in the compiler
...
`x clippy compiler -Aclippy::all -Wclippy::needless_borrow --fix`.
Then I had to remove a few unnecessary parens and muts that were exposed
now.
2023-11-21 20:13:40 +01:00
Nilstrieb
8bcd221b4c
Small improvements in object lifetime default code
...
I found those while trying to understand how the code works.
2023-11-12 11:59:01 +01:00
Oli Scherer
e96ce20b34
s/generator/coroutine/
2023-10-20 21:14:01 +00:00
Oli Scherer
60956837cf
s/Generator/Coroutine/
2023-10-20 21:10:38 +00:00
Michael Goulet
b2d2184ede
Format all the let chains in compiler
2023-10-13 08:59:36 +00:00
lcnr
a4f6770d83
a small wf and clause cleanup
2023-09-29 11:34:50 +02:00
Camille GILLOT
44ac8dcc71
Remove GeneratorWitness and rename GeneratorWitnessMIR.
2023-09-23 13:47:30 +00:00
Deadbeef
4fec845c3f
Remove constness from TraitPredicate
2023-08-02 15:38:00 +00:00
Matthias Krüger
2b4c194234
Rollup merge of #113539 - agnarrarendelle:master, r=workingjubilee
...
fixed typo
Hi, I have fixed a few typos in commands. Please review my pr.
2023-07-17 00:14:05 +02:00
Mahdi Dibaiee
e55583c4b8
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
agnarrarendelle
dcfcc77282
fixed typos
2023-07-12 01:25:47 +08:00
Boxy
12138b8e5e
Move TyCtxt::mk_x to Ty::new_x where applicable
2023-07-05 20:27:07 +01:00
Michael Goulet
a1f8edb5d5
Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk
...
-Ztrait-solver=next: stop depending on old solver
removes the final dependencies on the old solver when `-Ztrait-solver=next` is enabled.
2023-07-05 08:45:43 -07:00
lcnr
312994243a
extend comment
2023-07-04 10:34:27 +02:00
lcnr
b468bfb361
-Ztrait-solver=next: stop depending on old solver
2023-07-04 10:06:39 +02:00
Michael Goulet
0c73b41cd6
remove TypeWellFormedFromEnv
2023-07-03 21:40:04 +00:00
Michael Goulet
374173cd99
TypeWellFormedInEnv
2023-06-26 23:12:04 +00:00
Michael Goulet
fbdef58414
Migrate predicates_of and caller_bounds to Clause
2023-06-26 23:12:03 +00:00
Michael Goulet
f12695b53b
Don't emit same goal as input during wf obligations
2023-06-23 16:23:27 +00:00
Michael Goulet
fca56a8d2c
s/Clause/ClauseKind
2023-06-19 14:57:42 +00:00
Michael Goulet
6594c75449
Move ConstEvaluatable to Clause
2023-06-17 21:27:13 +00:00
Michael Goulet
52d3fc93f2
Move WF goal to clause
2023-06-17 21:20:20 +00:00
Oli Scherer
f3b7dd6388
Add AliasKind::Weak for type aliases.
...
Only use it when the type alias contains an opaque type.
Also does wf-checking on such type aliases.
2023-06-16 19:39:48 +00:00
León Orell Valerian Liehr
cd6dec33c2
IAT: Proper WF computation
2023-05-04 17:00:33 +02:00
León Orell Valerian Liehr
e8139dfd5a
IAT: Introduce AliasKind::Inherent
2023-05-04 16:59:10 +02:00
bors
6f8c0557e0
Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr
...
Replace `tcx.mk_trait_ref` with `TraitRef::new`
First step in implementing https://github.com/rust-lang/compiler-team/issues/616
r? `@lcnr`
2023-05-04 05:54:09 +00:00
Michael Goulet
03469c3f2e
Make negative trait bounds work with the old trait solver
2023-05-02 22:36:25 +00:00
Maybe Waffle
4f2532fb53
Switch ty::TraitRef::from_lang_item from using TyCtxtAt to TyCtxt and a Span
2023-04-26 10:55:11 +00:00
Maybe Waffle
46b01abbcd
Replace tcx.mk_trait_ref with ty::TraitRef::new
2023-04-25 16:12:44 +00:00
Camille GILLOT
b275d2c30b
Remove WithOptconstParam.
2023-04-20 17:48:32 +00:00
lcnr
16d061ea77
small type system cleanup
2023-04-19 10:30:30 +02:00
Michael Goulet
758bedc104
Make elaborator generic
2023-04-06 23:30:22 +00:00
Michael Goulet
1ce4b37900
Don't elaborate non-obligations into obligations
2023-03-26 20:33:54 +00:00
Michael Goulet
3a36a093dd
Rename AliasEq -> AliasRelate
2023-03-23 05:56:40 +00:00
Alan Egerton
695072daa6
Remove type-traversal trait aliases
2023-02-22 17:04:58 +00:00
