Code

Rollup of 6 pull requests#68078

Code

Merged

bors merged 54 commits intorust-lang:masterrust-lang/rust:masterfrom Centril:rollup-qvq052kCentril/rust:rollup-qvq052kCopy head branch name to clipboardJan 10, 2020

+2,072-1,038

Commits

Commits on Jan 7, 2020

• Automatically prefer integer addresses for zst MPlace

  oli-obk

  committed
  cc0fbdf

• Remove a ZST special casing that is not necessary anymore

  oli-obk

  committed
  5b770b0

• Fix an ICE happening due code assuming that MPlaceTy cannot have integer addresses

  oli-obk

  committed
  4a5c35b

• Move to_const_value from MPlaceTy to its only use site

  oli-obk

  committed
  cac6f4c

• Poison any MemPlace created from a zst Operand (or otherwise via MPlaceTy::dangling) so you can't get the address back out.

  oli-obk

  committed
  4fbe434

• Ensure we don't accidentally turn non-zsts into zsts

  oli-obk

  committed
  23b0c47

• Remove a bunch of dead functions and make some functions private

  oli-obk

  committed
  a1990db

• Add warning label to try_as_mplace

  oli-obk

  committed
  f7f5952

• Add more documentation

  oli-obk

  committed
  29c372b

• Actually use the poison value

  oli-obk

  committed
  d0b24e5

Commits on Jan 8, 2020

• Point at opaque and closure type definitions in type errors

  estebank

  committed
  9c0000c

• review comments

  estebank

  committed
  c556151

• Point at the def span of trait refs E0277

  estebank

  committed
  0dcdbae

• review comment: wording

  estebank

  committed
  542be6f

• review comments

  estebank

  committed
  b522ba0

• review comments

  estebank

  committed
  ffcdbad

• reduce code duplication

  estebank

  committed
  705e087

• remove unnecessary Debug

  estebank

  committed
  33ae322

Commits on Jan 9, 2020

• lowering: simplify HoFs

  Centril

  committed
  bcab59e

• lowering: elide some lifetimes

  Centril

  committed
  956265d

• extract pattern lowering -> pat.rs

  Centril

  committed
  f75ccde

• move lower_binding_mode -> pat.rs

  Centril

  committed
  ae6e31b

• extract path lowering -> path.rs

  Centril

  committed
  4e6329e

• refactor 'Output = $ty' & reduce rustc dep

  Centril

  committed
  2db97ed

• {rustc::util -> rustc_data_structures}::captures

  Centril

  committed
  69b1e5c

• lowering: rustc::session -> rustc_session

  Centril

  committed
  402907f

• lowering: remove dep on CrateStore

  Centril

  committed
  7472f9e

• rename a method in Resolver trait

  Centril

  committed
  b743af6

• add CStore::item_generics_num_lifetimes

  Centril

  committed
  5dafa6a

• Update src/librustc_mir/interpret/place.rs

  Show description for e632940
  

  oli-obk

  and

  RalfJung

  authored
  e632940

• Rename Unsized to Meta

  oli-obk

  committed
  a4fa5bb

• Switch assertion order to be more helpful to ppl that encounter them

  oli-obk

  committed
  c5c4fa8

• expect fn after const unsafe / const extern

  Centril

  committed
  915db7a

• Extend support of _ in type parameters

  Show description for c751961
  estebank

  committed
  c751961

• review comments: more tests

  estebank

  committed
  6e04cf0

Commits on Jan 10, 2020

• Add const_trait_impl feature gate

  ecstatic-morse

  committed
  63e2e44

• Add const_trait_bound_opt_out feature gate

  ecstatic-morse

  committed
  6fc4158

• Add a constness field to ast::TraitRef

  Show description for fd4a6a1
  ecstatic-morse

  committed
  fd4a6a1

• Parse impl const Trait for Ty syntax

  ecstatic-morse

  committed
  1c3fe9d

• Parse ?const Trait bound syntax

  Show description for 0cf52a7
  ecstatic-morse

  committed
  0cf52a7

• Error when new syntax is lowered

  Show description for b390fc4
  ecstatic-morse

  committed
  b390fc4

• Reject const in inherent impls

  ecstatic-morse

  committed
  31edbe9

• Check for ?const in invalid contexts during AST validation

  ecstatic-morse

  committed
  d843e00

• Add tests for RFC 2632

  ecstatic-morse

  committed
  343e157

• Call all visit methods on trait definitions

  ecstatic-morse

  committed
  b6b11f0

• Add test for ?const and ? on the same bound

  ecstatic-morse

  committed
  9950a1f

• Make bound_context more like neighboring functions

  ecstatic-morse

  committed
  14730ed

• Add test for ?const in nested impl/dyn trait

  ecstatic-morse

  committed
  fd1c003

• Rollup merge of rust-lang#66463 - estebank:point-at-closure-and-opaque-types, r=Centril

  Show description for aabb037
  Centril

  authored
  aabb037

• Rollup merge of rust-lang#67501 - oli-obk:test-slice-patterns, r=RalfJung

  Show description for e180d36
  Centril

  authored
  e180d36

• Rollup merge of rust-lang#67820 - ecstatic-morse:const-trait, r=oli-obk

  Show description for f396387
  Centril

  authored
  f396387

• Rollup merge of rust-lang#67922 - Centril:lowering-cleanup, r=petrochenkov

  Show description for 3bfa28c
  Centril

  authored
  3bfa28c

• Rollup merge of rust-lang#68071 - estebank:ice-67995, r=Centril

  Show description for 2307f0c
  Centril

  authored
  2307f0c

• Rollup merge of rust-lang#68073 - Centril:fix-68062, r=estebank

  Show description for 6f3f1c5
  Centril

  authored
  6f3f1c5