Code

Implement (most of) RFC 1214#27641

Code

Merged

bors merged 38 commits intorust-lang:masterrust-lang/rust:masterfrom nikomatsakis:soundness-rfc-1214nikomatsakis/rust:soundness-rfc-1214Copy head branch name to clipboardAug 14, 2015

+4,732-651

Commits

Commits on Aug 12, 2015

• Don't report a hard error if there are inference failures until

  Show description for 4561607
  nikomatsakis

  committed
  4561607

• Define the wf and outlives relation separately, unlike the existing

  Show description for 9289552
  nikomatsakis

  committed
  9289552

• Add two new kinds of predicates, WellFormed and ObjectSafe.

  nikomatsakis

  committed
  b196315

• Extend ParameterEnvironment to remember the free_id, and to be usable

  Show description for ad47bd8
  nikomatsakis

  committed
  ad47bd8

• Implement a new wfcheck to replace the old wf; this new code only issues

  Show description for 8d98877
  nikomatsakis

  committed
  8d98877

• New WF condition requires checking that argument types are WF

  Show description for 6bb1e22
  nikomatsakis

  committed
  6bb1e22

• New tests --- check that wf relation is being checked in various positions

  nikomatsakis

  committed
  39d164d

• Introduce a "origin/cause" for new requirements (or bugfixes...) introduced by RFC 1214,

  Show description for 75ee8f1
  nikomatsakis

  committed
  75ee8f1

• Generalize the outlives rule for projections to handle the new cases;

  Show description for d159977
  nikomatsakis

  committed
  d159977

• New tests --- projection outlives relation

  nikomatsakis

  committed
  788a802

• Fallout in libs -- misc missing bounds uncovered by WF checks.

  nikomatsakis

  committed
  91b3e9c

• Add FIXME for apparent stage0 regression

  nikomatsakis

  committed
  d15d743

• Fallout in tests -- we now report an error if you even reference a type

  Show description for 09bf2fe
  nikomatsakis

  committed
  09bf2fe

• Fallout in tests -- break the object safety part into a separate file because error

  Show description for 92d16d9
  nikomatsakis

  committed
  92d16d9

• Fallout in tests -- break this test into three tests, since we later saw

  Show description for 532fcb2
  nikomatsakis

  committed
  532fcb2

• Fallout in tests -- break test into a run-pass and compile-fail component

  nikomatsakis

  committed
  f4aaedb

• Fallout in tests --- misc error message changes, WF fixes

  nikomatsakis

  committed
  dee8b54

• Fallout in tests -- explain an interesting test failure having to

  Show description for 7ed39c6
  nikomatsakis

  committed
  7ed39c6

• wip 082a011e2bd5c8254e6c1b2fdc97a6fcb2927a7f rm binary

  nikomatsakis

  committed
  ff39ee9

• infer/mod.rs: add doc comment to RFC1214 variant

  nikomatsakis

  committed
  b7e849b

• middle/outlives.rs: fix typo

  nikomatsakis

  committed
  0582fed

• middle/outlives.rs: s/temp/subcomponents/

  nikomatsakis

  committed
  9c3a866

• regionck.rs: remove dead fn type_strictly_outlives

  nikomatsakis

  committed
  c9a49f9

• regionck.rs: correct misuse of ty.regions() rather than regions()

  Show description for fb1b6fc
  nikomatsakis

  committed
  fb1b6fc

• traits: consider whether origin is RFC1214 when caching, ensuring

  Show description for 9c5cfea
  nikomatsakis

  committed
  9c5cfea

• outlives: convert outlives to use an exhaustive match, for better

  Show description for a264440
  nikomatsakis

  committed
  a264440

• outlives.rs: remove use of ty.walk and replace with recursive of

  Show description for a7c9a15
  nikomatsakis

  committed
  a7c9a15

• check/wf.rs: change to use correct span and older WF algorithm;

  Show description for 2b2a113
  nikomatsakis

  committed
  2b2a113

• Update test error messages based on changes to wfcheck; also, break

  Show description for 157422a
  nikomatsakis

  committed
  157422a

• traits/error_reporting.rs: always note obligation cause

  nikomatsakis

  committed
  c106dd4

• outlives.rs: correct typo

  nikomatsakis

  committed
  213326c

• regionck.rs: add a delayed_span_bug call to validate an asserrtion

  nikomatsakis

  committed
  fda9b83

• ty.rs: document/cleanup required_region_bounds a bit

  nikomatsakis

  committed
  ad700ab

• regionck.rs: experimentally adopt a more conservative strategy for

  Show description for 9f3f69e
  nikomatsakis

  committed
  9f3f69e

Commits on Aug 13, 2015

• add regression test for rust-lang#27592. Fixes rust-lang#27592.

  nikomatsakis

  committed
  e1fa00b

• expr_use_visitor: Remove FIXME that is no longer needed (and in fact

  Show description for 33200a3
  nikomatsakis

  committed
  33200a3

• astconv.rs: extended ast_ty_to_ty debugging

  nikomatsakis

  committed
  401a243

Commits on Aug 14, 2015

• Correct nits from @nrc

  nikomatsakis

  committed
  7f8942c