Code

Rollup of 6 pull requests#104758

Code

Merged

bors merged 27 commits intorust-lang:masterrust-lang/rust:masterfrom Manishearth:rollup-rh1tfumManishearth/rust:rollup-rh1tfumCopy head branch name to clipboardNov 23, 2022

+902-540

Commits

Commits on Nov 19, 2022

• Lower return type outside async block creation

  Show description for b59090e
  Swatinem

  committed
  b59090e

  Copy full SHA for b59090e

• Refactor must_use lint into two parts

  Show description for 4e9ceef
  Noratrieb

  committed
  4e9ceef

  Copy full SHA for 4e9ceef

• Fix CrateLocationUnknownType error

  YC

  committed
  1e4adaf

  Copy full SHA for 1e4adaf

• Fix metadata_lib_filename_form

  YC

  committed
  40b7e0e

  Copy full SHA for 40b7e0e

• Check that library is file

  YC

  committed
  a1ea1c1

  Copy full SHA for a1ea1c1

Commits on Nov 20, 2022

• enable fuzzy_provenance_casts lint in liballoc

  RalfJung

  committed
  644a5a3

  Copy full SHA for 644a5a3

• enable fuzzy_provenance_casts lint in libstd

  RalfJung

  committed
  7f5addd

  Copy full SHA for 7f5addd

Commits on Nov 21, 2022

• dont attempt strict provenance in SGX

  RalfJung

  committed
  1a69666

  Copy full SHA for 1a69666

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

  oli-obk

  committed
  2752e32

  Copy full SHA for 2752e32

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

  oli-obk

  committed
  94fe30f

  Copy full SHA for 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

  Copy full SHA for ae80c76

• nit treat different opaque types

  oli-obk

  committed
  9cd44f8

  Copy full SHA for 9cd44f8

• Move a field around

  oli-obk

  committed
  9a8e1ee

  Copy full SHA for 9a8e1ee

• Register obligations from type relation

  oli-obk

  committed
  f42e490

  Copy full SHA for f42e490

• Remove a function that doesn't actually do anything

  oli-obk

  committed
  11ae334

  Copy full SHA for 11ae334

• Type generalization should not look at opaque type in coherence

  oli-obk

  committed
  7301cd7

  Copy full SHA for 7301cd7

• Add some more assertions for type relations not used during coherence

  oli-obk

  committed
  11adf03

  Copy full SHA for 11adf03

• Test generalization during coherence

  oli-obk

  committed
  c16a90f

  Copy full SHA for c16a90f

Commits on Nov 22, 2022

• Remove extra . in metadata_lib_filename_form

  YC

  committed
  395f2b8

  Copy full SHA for 395f2b8

• Tests for bad --extern library path and file

  YC

  committed
  7169c7d

  Copy full SHA for 7169c7d

• Bump fd-lock in bootstrap again

  Show description for cd22ce6
  mati865

  committed
  cd22ce6

  Copy full SHA for cd22ce6

Commits on Nov 23, 2022

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

  Show description for 53eab24
  Manishearth

  authored
  53eab24

  Copy full SHA for 53eab24

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

  Show description for a673364
  Manishearth

  authored
  a673364

  Copy full SHA for a673364

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

  Show description for 36815c6
  Manishearth

  authored
  36815c6

  Copy full SHA for 36815c6

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

  Show description for 54b6292
  Manishearth

  authored
  54b6292

  Copy full SHA for 54b6292

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

  Show description for 316bda8
  Manishearth

  authored
  316bda8

  Copy full SHA for 316bda8

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

  Show description for 42afb70
  Manishearth

  authored
  42afb70

  Copy full SHA for 42afb70