Code

[BETA] Universe leak check#58641

Code

Closed

nikomatsakis wants to merge 8 commits intorust-lang:betarust-lang/rust:betafrom nikomatsakis:universe-leak-check-betanikomatsakis/rust:universe-leak-check-betaCopy head branch name to clipboard

+1,369-383

Commits

Commits on Feb 22, 2019

• make generalization code create new variables in correct universe

  Show description for 3e41331
  nikomatsakis

  committed
  3e41331

  Copy full SHA for 3e41331

• s/skol_/placeholder_/

  nikomatsakis

  committed
  6908300

  Copy full SHA for 6908300

• reintroduce commit_if_ok call into higher_ranked_sub

  nikomatsakis

  committed
  ed3ac1a

  Copy full SHA for ed3ac1a

• reintroduce commit_if_ok calls to subtype_predicate

  nikomatsakis

  committed
  ed747ea

  Copy full SHA for ed747ea

• introduce a dummy leak check and invoke it in all the right places

  Show description for bdc70a0
  nikomatsakis

  committed
  bdc70a0

  Copy full SHA for bdc70a0

• restore the actual leak-check

  nikomatsakis

  committed
  f8fdb9a

  Copy full SHA for f8fdb9a

• update test files to reflect new output

  Show description for b0fd835
  nikomatsakis

  committed
  b0fd835

  Copy full SHA for b0fd835

• partially revert 904a0bd

  Show description for c820008
  nikomatsakis

  committed
  c820008

  Copy full SHA for c820008