Code

Rollup of 7 pull requests#104756

Code

Closed

Manishearth wants to merge 34 commits intorust-lang:masterrust-lang/rust:masterfrom Manishearth:rollup-cui4g1aManishearth/rust:rollup-cui4g1aCopy head branch name to clipboard

+946-600

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

• Rename fn_trait_kind_from_{from_lang=>def_id} to better convey meaning

  WaffleLapkin

  committed
  ec41bc6

  Copy full SHA for ec41bc6

• Remove ty::ClosureKind::from_def_id

  Show description for 632b96f
  WaffleLapkin

  committed
  632b96f

  Copy full SHA for 632b96f

• Add TyCtxt::is_fn_trait

  WaffleLapkin

  committed
  d6f73c1

  Copy full SHA for d6f73c1

• Simplify ty::ClosureKind::extends

  Show description for e9f6db5
  WaffleLapkin

  committed
  e9f6db5

  Copy full SHA for e9f6db5

• micro doc fixes

  WaffleLapkin

  committed
  3d407cc

  Copy full SHA for 3d407cc

• Use TyCtxt::is_fn_trait is a couple more places

  WaffleLapkin

  committed
  48fee7a

  Copy full SHA for 48fee7a

• 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 8c1cec9
  Manishearth

  authored
  8c1cec9

  Copy full SHA for 8c1cec9

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

  Show description for 38b8198
  Manishearth

  authored
  38b8198

  Copy full SHA for 38b8198

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

  Show description for cb4887b
  Manishearth

  authored
  cb4887b

  Copy full SHA for cb4887b

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

  Show description for ef3978d
  Manishearth

  authored
  ef3978d

  Copy full SHA for ef3978d

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

  Show description for 8aa6ab8
  Manishearth

  authored
  8aa6ab8

  Copy full SHA for 8aa6ab8

• Rollup merge of rust-lang#104732 - WaffleLapkin:from_def_idn't, r=compiler-errors

  Show description for 1f1bbfc
  Manishearth

  authored
  1f1bbfc

  Copy full SHA for 1f1bbfc

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

  Show description for b6c8794
  Manishearth

  authored
  b6c8794

  Copy full SHA for b6c8794