Code

Rollup of 6 pull requests#72490

Code

Closed

RalfJung wants to merge 33 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:rollup-sbk2yzbRalfJung/rust:rollup-sbk2yzbCopy head branch name to clipboard

+971-2,984

Commits

Commits on May 20, 2020

• Add missing ASM arena declaration to librustc_middle

  Show description for 0ef565e
  Aaron1011

  committed
  0ef565e

Commits on May 21, 2020

• Use HirId as key for ResolverOutputs::trait_map instead of NodeId

  marmeladema

  committed
  5728c53

• Use HirId in value of ResolverOutputs::trait_map instead of NodeId

  marmeladema

  committed
  3c5dba7

• Use HirId in ResolverOutputs::export_map instead of NodeId

  marmeladema

  committed
  52359f7

• Use LocalDefId in ResolverOutputs::maybe_unused_trait_imports instead of NodeId

  marmeladema

  committed
  13c86f2

• Use DefId in ResolverOutputs::maybe_unused_extern_crates instead of NodeId

  marmeladema

  committed
  25f575b

• Use DefId in ResolverOutputs::glob_map instead of NodeId

  marmeladema

  committed
  21f65ae

• Use DefId in ResolverOutputs::extern_crate_map instead of NodeId

  marmeladema

  committed
  8ff6ffd

• Use collect() instead of manually inserting elements into maps

  marmeladema

  committed
  4c4cb46

• Replace unecessary calls to .clone() by argument binding pattern for Copy types

  marmeladema

  committed
  f31e076

Commits on May 22, 2020

• Replace obligation construction with deref_steps()

  ldm0

  committed
  407958a

• Rewrite Parser::collect_tokens

  Show description for 52bb09a
  Aaron1011

  committed
  52bb09a

• Check for upper bound universe errors more carefully

  matthewjasper

  committed
  33f90f2

• Improve the error when an opaque type captures ReEmtpty

  matthewjasper

  committed
  187bfb3

• Remove the parts of regionck referencing ReScope

  matthewjasper

  committed
  c102312

• Remove ReScope

  matthewjasper

  committed
  7d73e4c

• Remove unused error reporting code

  matthewjasper

  committed
  52d628f

• Remove dead ScopeTree code

  matthewjasper

  committed
  3d8a073

• Update tests

  matthewjasper

  committed
  f9f3063

• Document collect_bounding_regions

  matthewjasper

  committed
  9754b3f

• Preserve substitutions when trying to prove trait obligation

  Show description for 730c6f3
  ecstatic-morse

  committed
  730c6f3

• Add regression test for rust-lang#71394

  ecstatic-morse

  committed
  8ea828b

• Bless other example of rust-lang#71394

  ecstatic-morse

  committed
  4d9e9c6

• Ensure that new_self_ty has no escaping bound vars

  Show description for d2bacb1
  ecstatic-morse

  committed
  d2bacb1

• Document invariants of mk_trait_obligation_with_new_self_ty

  ecstatic-morse

  committed
  7278e29

• Bail out if output_ty has bound variables

  ecstatic-morse

  committed
  f99519b

• Use mk_trait_obligation_with_new_self_ty for new suggestion

  ecstatic-morse

  committed
  1fad3b7

Commits on May 23, 2020

• Rollup merge of rust-lang#71618 - ecstatic-morse:issue-71394, r=nikomatsakis

  Show description for a630767
  RalfJung

  authored
  a630767

• Rollup merge of rust-lang#72292 - ldm0:derefsteps, r=estebank

  Show description for 6b9b044
  RalfJung

  authored
  6b9b044

• Rollup merge of rust-lang#72362 - matthewjasper:remove-rescope, r=nikomatsakis

  Show description for 533b6ce
  RalfJung

  authored
  533b6ce

• Rollup merge of rust-lang#72393 - Aaron1011:feature/rewrite-collect-tokens, r=petrochenkov

  Show description for 8e98d8d
  RalfJung

  authored
  8e98d8d

• Rollup merge of rust-lang#72400 - Aaron1011:fix/asm-incr-ice, r=Amanieu

  Show description for f1f3e52
  RalfJung

  authored
  f1f3e52

• Rollup merge of rust-lang#72402 - marmeladema:resolver-outputs-def-id, r=ecstatic-morse

  Show description for 88e2815
  RalfJung

  authored
  88e2815