Code

Implement variance RFC #738 #22286

Code

Closed

nikomatsakis wants to merge 34 commits intorust-lang:masterrust-lang/rust:masterfrom

nikomatsakis:variance-4bnikomatsakis/rust:variance-4bCopy head branch name to clipboard

Commits

Commits on Feb 18, 2015

• Introduce the new phantomdata/phantomfn markers and integrate them

  Show description for 2594d56
  nikomatsakis

  committed
  2594d56

  Copy full SHA for 2594d56

• Report errors for type parameters that are not constrained, either by

  Show description for 91eedfe
  nikomatsakis

  committed
  91eedfe

  Copy full SHA for 91eedfe

• Extend coherence check to understand subtyping.

  nikomatsakis

  committed
  8c841f2

  Copy full SHA for 8c841f2

• Rewrite `Unique<T>` so that it is covariant in T, implies `NonZero` and ownership,

  Show description for 801bc48
  nikomatsakis

  committed
  801bc48

  Copy full SHA for 801bc48

• Constrain operands to outlive the operation. Fixes #21422.

  nikomatsakis

  committed
  f2529ac

  Copy full SHA for f2529ac

• Fallout: Port Vec to use `Unique`

  nikomatsakis

  committed
  c5579ca

  Copy full SHA for c5579ca

• Fallout: btree. Rephrase invariant lifetime in terms of PhantomData.

  nikomatsakis

  committed
  b3c00a6

  Copy full SHA for b3c00a6

• Fallout: port btree to use Unique, some markers.

  nikomatsakis

  committed
  68ebe64

  Copy full SHA for 68ebe64

• Fallout: EnumSet, add Marker.

  nikomatsakis

  committed
  c2891cc

  Copy full SHA for c2891cc

• Fallout: RingBuf, use Unique.

  nikomatsakis

  committed
  8dbdcdb

  Copy full SHA for 8dbdcdb

• Fallout: arena needs to use phantomdata since invariantlifetime is gone

  nikomatsakis

  committed
  2bcf3a4

  Copy full SHA for 2bcf3a4

• Fallout: AtomicPtr needs phantom data to indicate that it contains an unsafe pointer.

  nikomatsakis

  committed
  1735e41

  Copy full SHA for 1735e41

• Fallout: iter, add markers or other changes such that all type parameters are used.

  nikomatsakis

  committed
  d801a4d

  Copy full SHA for d801a4d

• Fallout: docs, elided examples often elided too much.

  nikomatsakis

  committed
  ef42c2b

  Copy full SHA for ef42c2b

• Fallout: tests. As tests frequently elide things, lots of changes

  Show description for 872ce47
  nikomatsakis

  committed
  872ce47

  Copy full SHA for 872ce47

• Fallout: remove unused type and region parameters.

  nikomatsakis

  committed
  60f507b

  Copy full SHA for 60f507b

• Fallout: Port slice to use `PhantomData` instead of `ContravariantLifetime`

  nikomatsakis

  committed
  aaf4176

  Copy full SHA for aaf4176

• Fallout: port libflate to new Unique API

  nikomatsakis

  committed
  2953710

  Copy full SHA for 2953710

• Fallout: add phantom data to librand

  nikomatsakis

  committed
  199b992

  Copy full SHA for 199b992

• Fallout: add phantom data to the type inferencer

  nikomatsakis

  committed
  62b5177

  Copy full SHA for 62b5177

• Fallout: extend thread with phantomdata for `'a` lifetime

  nikomatsakis

  committed
  1ed5842

  Copy full SHA for 1ed5842

• Fallout: add phantomdata for 'a in path

  nikomatsakis

  committed
  9e0bb52

  Copy full SHA for 9e0bb52

• Fallout: port hashmap to use Unique

  nikomatsakis

  committed
  ae7c534

  Copy full SHA for ae7c534

• Fallout: add phantomdata to hash

  nikomatsakis

  committed
  6f2a1c9

  Copy full SHA for 6f2a1c9

• Fallout: Accepter trait needs phantomdata. This seems like it should

  Show description for df76442
  nikomatsakis

  committed
  df76442

  Copy full SHA for df76442

• Add regression test for #20533. Fixes #20533.

  nikomatsakis

  committed
  d179bb5

  Copy full SHA for d179bb5

• Missing test.

  nikomatsakis

  committed
  e8cb11c

  Copy full SHA for e8cb11c

• WIP -- improve documentation on the phantom traits

  nikomatsakis

  committed
  a2393e6

  Copy full SHA for a2393e6

• Add deprecated versions of the old markers and integrate them back into the variance analysis.

  nikomatsakis

  committed
  d622235

  Copy full SHA for d622235

• Try to write some basic docs.

  nikomatsakis

  committed
  74199c2

  Copy full SHA for 74199c2

• Stabilize Send/Sync.

  nikomatsakis

  committed
  f5491e6

  Copy full SHA for f5491e6

• Minor unused imports etc.

  nikomatsakis

  committed
  cc61f9c

  Copy full SHA for cc61f9c

• Update tests to use #[feature(rustc_attrs)]

  nikomatsakis

  committed
  9f8b9d6

  Copy full SHA for 9f8b9d6

• Mark intentionally buggy test as ignore

  nikomatsakis

  committed
  2e482cd

  Copy full SHA for 2e482cd