Code

[WIP] Region vid newtype index#45906

Code

Closed

spastorino wants to merge 59 commits intorust-lang:masterrust-lang/rust:masterfrom

spastorino:region_vid_newtype_indexspastorino/rust:region_vid_newtype_indexCopy head branch name to clipboard

Commits

Commits on Nov 7, 2017

• fulfill: remove dead code

  nikomatsakis

  committed
  9713c92

  Copy full SHA for 9713c92

• move region constraints into inference context

  nikomatsakis

  committed
  f9e7819

  Copy full SHA for f9e7819

• convert EXTRA_REQUIREMENT_IN_IMPL into a hard error

  Show description for 1a246f4
  nikomatsakis

  committed
  1a246f4

  Copy full SHA for 1a246f4

• assert that we are consuming all of the region obligations

  Show description for 9b3c97f
  nikomatsakis

  committed
  9b3c97f

  Copy full SHA for 9b3c97f

• extract `regionck_outlives` into a separate helper function

  Show description for 4130c68
  nikomatsakis

  committed
  4130c68

  Copy full SHA for 4130c68

• move the `region_obligations` processing code into `InferCtxt`

  nikomatsakis

  committed
  48b7d3c

  Copy full SHA for 48b7d3c

• refactor how we extract outlives bounds from trait definitions

  Show description for 0cf8668
  nikomatsakis

  committed
  0cf8668

  Copy full SHA for 0cf8668

• do not invoke `required_region_bounds` in `region_obligations`

  Show description for 1bf2052
  nikomatsakis

  committed
  1bf2052

  Copy full SHA for 1bf2052

• regionck: only add implied bounds from root fn to `free_region_map`

  nikomatsakis

  committed
  9b4dee0

  Copy full SHA for 9b4dee0

• extract out the implied bounds code from `regionck`

  nikomatsakis

  committed
  e634ffd

  Copy full SHA for e634ffd

• rename mod `region_obligations` to `outlives::obligations`

  nikomatsakis

  committed
  182e4aa

  Copy full SHA for 182e4aa

• move the `OutlivesEnvironment` into `infer` so that `nll` can use it

  Show description for 0640faf
  nikomatsakis

  committed
  0640faf

  Copy full SHA for 0640faf

• thread location info through mir typeck (but do not use)

  nikomatsakis

  committed
  c1b6819

  Copy full SHA for c1b6819

• apply rustfmt to `type_check`

  nikomatsakis

  committed
  545a554

  Copy full SHA for 545a554

• modify MIR type-checker to process obligations as they are incurred

  nikomatsakis

  committed
  80b2a29

  Copy full SHA for 80b2a29

• extract lexical region resolution into its own sub-module

  nikomatsakis

  committed
  305b4b8

  Copy full SHA for 305b4b8

• on_disk_cache: silence warnings

  nikomatsakis

  committed
  3efc952

  Copy full SHA for 3efc952

• move region resolution to be a sibling of `region_inference`

  Show description for b229a83
  nikomatsakis

  committed
  b229a83

  Copy full SHA for b229a83

• region_inference: tighten up `pub`, stop re-exporting enum variants

  nikomatsakis

  committed
  a1ae294

  Copy full SHA for a1ae294

• region_inference: extract taint into a sub-module

  nikomatsakis

  committed
  8e27848

  Copy full SHA for 8e27848

• move `RegionResolutionError` into `lexical_region_resolve`

  nikomatsakis

  committed
  edc2a81

  Copy full SHA for edc2a81

• extract storage of region values from `RegionVarBindings`

  nikomatsakis

  committed
  f52cec8

  Copy full SHA for f52cec8

• region_inference: rustfmt

  nikomatsakis

  committed
  736cce7

  Copy full SHA for 736cce7

• extract the `tcx` out from `RegionVarBindings`

  nikomatsakis

  committed
  8f20adb

  Copy full SHA for 8f20adb

• move refcells out from `RegionVarBindings` and up into `InferCtxt`

  nikomatsakis

  committed
  347ad9a

  Copy full SHA for 347ad9a

• rename `region_inference` module to `region_constraints`

  nikomatsakis

  committed
  6cb70f6

  Copy full SHA for 6cb70f6

• infer: rename `region_vars` field to `region_constraints`

  nikomatsakis

  committed
  c73f469

  Copy full SHA for c73f469

• rename RegionVarBindings to RegionConstraintCollector

  nikomatsakis

  committed
  dcd78ca

  Copy full SHA for dcd78ca

• make the `region_constraints` field an `Option`

  Show description for ee56f9e
  nikomatsakis

  committed
  ee56f9e

  Copy full SHA for ee56f9e

• separate the `Collector` from the `Data` it is collecting

  nikomatsakis

  committed
  042a844

  Copy full SHA for 042a844

• fix error messages relating to removing lint for E0276

  nikomatsakis

  committed
  e863952

  Copy full SHA for e863952

• make `RegionVid` implement `Idx` and use `IndexVec`

  nikomatsakis

  committed
  be2b684

  Copy full SHA for be2b684

• region_constraints: only push givens into undo-log if in a snapshot

  nikomatsakis

  committed
  56d5f26

  Copy full SHA for 56d5f26

• split the `var_origins` from the `RegionConstraintData`

  nikomatsakis

  committed
  bf00e64

  Copy full SHA for bf00e64

• add method `take_and_reset_region_constraints` to `InferCtxt`

  nikomatsakis

  committed
  9b8801a

  Copy full SHA for 9b8801a

• rustfmt `lexical_region_resolve`

  nikomatsakis

  committed
  941e598

  Copy full SHA for 941e598

• MIR typeck: rustfmt

  nikomatsakis

  committed
  ea91b1a

  Copy full SHA for ea91b1a

• MIR typeck: refactor to track region constraints

  nikomatsakis

  committed
  fb36626

  Copy full SHA for fb36626

• replace `usize` with `RegionIndex` in indices map

  nikomatsakis

  committed
  74edfbe

  Copy full SHA for 74edfbe

• replace `RegionIndex` with `RegionVid` (which now impls Idx)

  nikomatsakis

  committed
  41e27a2

  Copy full SHA for 41e27a2

• IndexVec: add `'_` to make clear where borrowing is happening

  nikomatsakis

  committed
  53bd655

  Copy full SHA for 53bd655

• infer: give access to region variable origins

  nikomatsakis

  committed
  3f37f9a

  Copy full SHA for 3f37f9a

• infer: extract total number of region variables from infcx

  Show description for 31d6b17
  nikomatsakis

  committed
  31d6b17

  Copy full SHA for 31d6b17

• formalize giving ownership of region vars to region inf. context

  nikomatsakis

  committed
  072bae2

  Copy full SHA for 072bae2

• simplify lifetime annotations for `MirBorrowckCtxt`

  nikomatsakis

  committed
  ee19f2c

  Copy full SHA for ee19f2c

• erase regions in MIR borrowck when checking if type moves by default

  nikomatsakis

  committed
  73c9854

  Copy full SHA for 73c9854

• MIR-dump: print return type from local_decls for `_0`

  Show description for f578229
  nikomatsakis

  committed
  f578229

  Copy full SHA for f578229

• renumber: handle ReturnTy better

  nikomatsakis

  committed
  e68750b

  Copy full SHA for e68750b

• renumber: debug logs, use `visit_region` rather than `visit_rvalue`

  nikomatsakis

  committed
  9e42ba7

  Copy full SHA for 9e42ba7

• region_infer: improved debug logging

  nikomatsakis

  committed
  71ef306

  Copy full SHA for 71ef306

• integrate NLL with MIR type-checker

  nikomatsakis

  committed
  69833ab

  Copy full SHA for 69833ab

• update READMEs to describe the new situation

  Show description for 6cddfd3
  nikomatsakis

  committed
  6cddfd3

  Copy full SHA for 6cddfd3

• WIP infer/outlives: add license

  nikomatsakis

  committed
  3caa1d1

  Copy full SHA for 3caa1d1

• convert TODO in traits into a FIXME

  nikomatsakis

  committed
  126c472

  Copy full SHA for 126c472

• add FIXME for converting RegionVid to use `newtype_index!`

  nikomatsakis

  committed
  7e3e488

  Copy full SHA for 7e3e488

• fix mir-opt NLL tests -- variable `'_#0r` is now `'static`

  nikomatsakis

  committed
  070a2b4

  Copy full SHA for 070a2b4

• factor out `free_region_binding_scope` helper

  nikomatsakis

  committed
  5507cec

  Copy full SHA for 5507cec

• leak the affects of closures on the free-region-map, like we used to

  Show description for 7f2c82f
  nikomatsakis

  committed
  7f2c82f

  Copy full SHA for 7f2c82f

Commits on Nov 10, 2017

• Make RegionVid use newtype_index!

  Show description for cf7fe00
  spastorino

  committed
  cf7fe00

  Copy full SHA for cf7fe00