Code

Issue 52057 — inference variable#52731

Code

Merged

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

nikomatsakis:issue-52057-inference-variablenikomatsakis/rust:issue-52057-inference-variableCopy head branch name to clipboard

Jul 31, 2018

Commits

Commits on Jul 31, 2018

• introduce, but do not use, `free_region_relation` computation

  Show description for 3bca170
  

  nikomatsakis

  authored and

  pnkfelix

  committed
  3bca170

  Copy full SHA for 3bca170

• remove universal-region-relation computation from universal_regions

  

  nikomatsakis

  authored and

  pnkfelix

  committed
  d1e67fc

  Copy full SHA for d1e67fc

• add regression test for #52057

  Show description for d42bc58
  

  nikomatsakis

  authored and

  pnkfelix

  committed
  d42bc58

  Copy full SHA for d42bc58

• make a free fn for creating the URR

  

  nikomatsakis

  authored and

  pnkfelix

  committed
  1e1f18d

  Copy full SHA for 1e1f18d

• remove `region_bound_pairs` from FRR as they are not needed later

  

  nikomatsakis

  authored and

  pnkfelix

  committed
  490928f

  Copy full SHA for 490928f

• free RegionBoundPairs earlier and avoid normalizing twice

  Show description for 68c2a39
  

  nikomatsakis

  authored and

  pnkfelix

  committed
  68c2a39

  Copy full SHA for 68c2a39

• assert no region obligations on entering custom type op

  Show description for 9baf013
  

  nikomatsakis

  authored and

  pnkfelix

  committed
  9baf013

  Copy full SHA for 9baf013

• region_infer: rustfmt, pacifying the mercilous tidy

  

  nikomatsakis

  authored and

  pnkfelix

  committed
  b9652ae

  Copy full SHA for b9652ae