Code

Dangly paths#17

Code

Open

pnkfelix wants to merge 8 commits intonikomatsakis:masternikomatsakis/borrowck:masterfrom pnkfelix:dangly-pathspnkfelix/nll:dangly-pathsCopy head branch name to clipboard

+561-6

Commits

Commits on Sep 12, 2017

• Encoded versions of dangly-path examples.

  pnkfelix

  committed
  51faae1

  Copy full SHA for 51faae1

• Refactoring: cloned old fn check_move method to fn check_drop,

  Show description for b82acf7
  pnkfelix

  committed
  b82acf7

  Copy full SHA for b82acf7

• Added impl fmt::Display for Path so path formats can resemble source code.

  pnkfelix

  committed
  0a7af36

  Copy full SHA for 0a7af36

• Switch to fmt::Display formatting of paths in errors emitted by check_drop.

  pnkfelix

  committed
  f107cbe

  Copy full SHA for f107cbe

• Factor out a StructDecl::field_decl method for FieldDecl lookup.

  pnkfelix

  committed
  5cefe1a

  Copy full SHA for 5cefe1a

• fmt::Display impl for StructName that just writes name (like RegionName and FieldName).

  pnkfelix

  committed
  560e9e5

  Copy full SHA for 560e9e5

• A fixme to investigate in the future.

  pnkfelix

  committed
  09acae9

  Copy full SHA for 09acae9

• The actual dangly-path analysis.

  Show description for 2d60385
  pnkfelix

  committed
  2d60385

  Copy full SHA for 2d60385