Rollup of 11 pull requests - #104738

Closed

Manishearth wants to merge 49 commits into

rust-lang:masterfrom

Manishearth:rollup-ligc835

Commits on Nov 17, 2022

Commits on Nov 19, 2022

Refactor `must_use` lint into two parts
Noratrieb
committed
4e9ceef

Commits on Nov 20, 2022

enable fuzzy_provenance_casts lint in liballoc
RalfJung
committed
644a5a3
enable fuzzy_provenance_casts lint in libstd
RalfJung
committed
7f5addd

Commits on Nov 21, 2022

dont attempt strict provenance in SGX
RalfJung
committed
1a69666
Allow opaque types in trait impl headers and rely on coherence to reject unsound cases
oli-obk
committed
2752e32
Treat different opaque types of the same def id as equal during coherence
oli-obk
committed
94fe30f
Add an always-ambiguous predicate to make sure that we don't accidentlally allow trait resolution to prove false things during coherence
oli-obk
committed
ae80c76
nit treat different opaque types
oli-obk
committed
9cd44f8
Move a field around
oli-obk
committed
9a8e1ee
Register obligations from type relation
oli-obk
committed
f42e490
Remove a function that doesn't actually do anything
oli-obk
committed
11ae334
Type generalization should not look at opaque type in coherence
oli-obk
committed
7301cd7
Add some more assertions for type relations not used during coherence
oli-obk
committed
11adf03
Test generalization during coherence
oli-obk
committed
c16a90f
Suggest `.clone()` or `ref binding` on E0382
estebank
committed
98cb7c8
Do not suggest `ref` multiple times for the same binding
estebank
committed
fface0c
Fix clippy code
estebank
committed
cca960d
Use `type_implements_trait`
estebank
committed
242dd83
Extract suggestion logic to its own method
estebank
committed
e88009b
Remove logic duplication
estebank
committed
0994f8d
Tweak output in for loops
estebank
committed
4918d4f
Fix wording
estebank
committed
33a6dc9
Fix rustfmt
estebank
committed
6f77be4
Tweak output to account for alternative bindings in the same pattern
estebank
committed
a930d44
Fix rebase
estebank
committed
5bf1413
remove spurious commented out code
estebank
committed
95a5beb
review comments: inline bindings and fix typo
estebank
committed
2698d24
Account for `x @ y` and suggest `ref x @ ref y`
estebank
committed
9a39012
Account for closures
estebank
committed
7cc4fb5

Commits on Nov 22, 2022