Code

Universes#55517

Code

Merged

bors merged 30 commits intorust-lang:masterrust-lang/rust:masterfrom

nikomatsakis:universesnikomatsakis/rust:universesCopy head branch name to clipboard

Jan 3, 2019

Commits

Commits on Jan 2, 2019

• remove `commit_if_ok` wrapper

  nikomatsakis

  committed
  5f0fe8f

  Copy full SHA for 5f0fe8f

• remove wrapper functions that had no purpose

  nikomatsakis

  committed
  79efed8

  Copy full SHA for 79efed8

• make evaluation track whether outlives relationships mattered

  Show description for 4b5f274
  nikomatsakis

  committed
  4b5f274

  Copy full SHA for 4b5f274

• introduce ability to detect region constraints from snapshot

  nikomatsakis

  committed
  4170829

  Copy full SHA for 4170829

• select.rs: unsizing coercion should use a subtype

  Show description for 904a0bd
  nikomatsakis

  committed
  904a0bd

  Copy full SHA for 904a0bd

• WIP: wfcheck ability to detect

  nikomatsakis

  committed
  eba2ae5

  Copy full SHA for eba2ae5

• universe transition

  Show description for b68fad6
  nikomatsakis

  committed
  b68fad6

  Copy full SHA for b68fad6

• add tests exercising `exists<'a> { forall<'b> { .. } }` pattern

  Show description for 652fd2e
  nikomatsakis

  committed
  652fd2e

  Copy full SHA for 652fd2e

• tests: move coherence-subtyping from run-pass to compile-fail

  Show description for 78705b5
  nikomatsakis

  committed
  78705b5

  Copy full SHA for 78705b5

• tests: worse diagnostics, but basically same errors

  nikomatsakis

  committed
  d3c96ff

  Copy full SHA for d3c96ff

• tests: cases where we now do the right thing but did not before

  Show description for c8e0a90
  nikomatsakis

  committed
  c8e0a90

  Copy full SHA for c8e0a90

• WIP other test changes

  nikomatsakis

  committed
  a2d9179

  Copy full SHA for a2d9179

• remove outdated `rustc_driver` tests

  Show description for 0b03b9b
  nikomatsakis

  committed
  0b03b9b

  Copy full SHA for 0b03b9b

• make `get_highlight_region_for_regionvid` only affect re-vid

  Show description for 995192a
  nikomatsakis

  committed
  995192a

  Copy full SHA for 995192a

• dump out the exact state in error reporting debugs

  nikomatsakis

  committed
  6a6d2f4

  Copy full SHA for 6a6d2f4

• generalize region highlights into a struct

  nikomatsakis

  committed
  37b0b3e

  Copy full SHA for 37b0b3e

• add the ability to highlight placeholders

  nikomatsakis

  committed
  1597f2a

  Copy full SHA for 1597f2a

• introduce placeholder-placeholder errors for trait matching

  nikomatsakis

  committed
  0a61d68

  Copy full SHA for 0a61d68

• apply the new placeholder errors even with just one placeholder

  nikomatsakis

  committed
  6cbbee1

  Copy full SHA for 6cbbee1

• refactor highlighting to take any RegionKind, making it more general

  nikomatsakis

  committed
  77924de

  Copy full SHA for 77924de

• apply the same logic to ConcreteFailure errors

  nikomatsakis

  committed
  7bc3f55

  Copy full SHA for 7bc3f55

• say "the lifetime" instead of "some lifetime" when it feels right

  Show description for a24e04d
  nikomatsakis

  committed
  a24e04d

  Copy full SHA for a24e04d

• improve handling for subtype

  Show description for bc4404c
  nikomatsakis

  committed
  bc4404c

  Copy full SHA for bc4404c

• pacify the mercilous tidy

  nikomatsakis

  committed
  cf2f7cc

  Copy full SHA for cf2f7cc

• address tmandry nits

  nikomatsakis

  committed
  1db7193

  Copy full SHA for 1db7193

• add some comments about lifetimes etc

  nikomatsakis

  committed
  c04563e

  Copy full SHA for c04563e

• pacify the mercilous eddyb ;)

  nikomatsakis

  committed
  13ea9b8

  Copy full SHA for 13ea9b8

• track if any region constraints involved placeholders

  nikomatsakis

  committed
  2c17af0

  Copy full SHA for 2c17af0

• try to detect affected code and direct people to #56105

  nikomatsakis

  committed
  4c8fd2e

  Copy full SHA for 4c8fd2e

• rename `type_moves_by_default` to `type_is_copy_modulo_regions`

  nikomatsakis

  committed
  8e89184

  Copy full SHA for 8e89184