Repository navigation

Rollup of 6 pull requests - #104758

Merged

bors merged 27 commits into

rust-lang:masterfrom

Manishearth:rollup-rh1tfum

Nov 23, 2022

Commits on Nov 19, 2022
- Lower return type outside async block creation
  Swatinem
  committed
  b59090e
- Refactor `must_use` lint into two parts
  Noratrieb
  committed
  4e9ceef
- Fix CrateLocationUnknownType error
  YC
  committed
  1e4adaf
- Fix metadata_lib_filename_form
  YC
  committed
  40b7e0e
- Check that library is file
  YC
  committed
  a1ea1c1
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
Commits on Nov 22, 2022
- Remove extra . in metadata_lib_filename_form
  YC
  committed
  395f2b8
- Tests for bad --extern library path and file
  YC
  committed
  7169c7d
- Bump `fd-lock` in `bootstrap` again
  mati865
  committed
  cd22ce6
Commits on Nov 23, 2022

Navigation Menu

Repository navigation

Rollup of 6 pull requests - #104758

Rollup of 6 pull requests#104758
bors merged 27 commits into
rust-lang:masterfrom
Manishearth:rollup-rh1tfum

Commits on Nov 19, 2022

Lower return type outside async block creation

Refactor `must_use` lint into two parts

Fix CrateLocationUnknownType error

Fix metadata_lib_filename_form

Check that library is file

Commits on Nov 20, 2022

enable fuzzy_provenance_casts lint in liballoc

enable fuzzy_provenance_casts lint in libstd

Commits on Nov 21, 2022

dont attempt strict provenance in SGX

Allow opaque types in trait impl headers and rely on coherence to reject unsound cases

Treat different opaque types of the same def id as equal during coherence

Add an always-ambiguous predicate to make sure that we don't accidentlally allow trait resolution to prove false things during coherence

nit treat different opaque types

Move a field around

Register obligations from type relation

Remove a function that doesn't actually do anything

Type generalization should not look at opaque type in coherence

Add some more assertions for type relations not used during coherence

Test generalization during coherence

Commits on Nov 22, 2022

Remove extra . in metadata_lib_filename_form

Tests for bad --extern library path and file

Bump `fd-lock` in `bootstrap` again

Commits on Nov 23, 2022

Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr

Rollup merge of #104359 - Nilstrieb:plus-one, r=fee1-dead

Rollup merge of #104612 - Swatinem:async-ret-y, r=estebank

Rollup merge of #104621 - YC:master, r=davidtwco

Rollup merge of #104647 - RalfJung:alloc-strict-provenance, r=thomcc

Rollup merge of #104750 - mati865:bump-fd-lock-again, r=jyn514