Code

Implement the ! type#35162

Code

Merged

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

canndrew:bang_type_coercedcanndrew/rust:bang_type_coercedCopy head branch name to clipboard

Aug 16, 2016

Commits

Commits on Aug 13, 2016

• Start implementation of RFC 1216 (make ! a type)

  Show description for ba7330c
  canndrew

  committed
  ba7330c

  Copy full SHA for ba7330c

• Parse `!` as TyEmpty (except in fn return type)

  canndrew

  committed
  b0a9acd

  Copy full SHA for b0a9acd

• Add EmptyToAny adjustment

  canndrew

  committed
  0d86361

  Copy full SHA for 0d86361

• Invoke coercions on !

  canndrew

  committed
  c88c54e

  Copy full SHA for c88c54e

• Add run-fail/adjust_empty.rs test

  canndrew

  committed
  798f719

  Copy full SHA for 798f719

• Small optimization

  Show description for 533a389
  canndrew

  committed
  533a389

  Copy full SHA for 533a389

• Fix rustdoc after rebase

  canndrew

  committed
  9f9f856

  Copy full SHA for 9f9f856

• Switch on TyEmpty

  Show description for 104963c
  canndrew

  committed
  104963c

  Copy full SHA for 104963c

• Fix super_relate_tys so that ! == !

  canndrew

  committed
  f31d975

  Copy full SHA for f31d975

• Make unused lint ignore unused `!`

  canndrew

  committed
  0829152

  Copy full SHA for 0829152

• impl Debug + Display for !

  canndrew

  committed
  ee78f37

  Copy full SHA for ee78f37

• Remove obsolete divergence related stuff

  Show description for ed02344
  canndrew

  committed
  ed02344

  Copy full SHA for ed02344

• Fix build after rebase to lastest master

  canndrew

  committed
  b22beed

  Copy full SHA for b22beed

• implement std::cmp::* traits for `!`

  canndrew

  committed
  51c6ae2

  Copy full SHA for 51c6ae2

• Remove invalid compile-fail tests related to `!`

  Show description for ba65d2e
  canndrew

  committed
  ba65d2e

  Copy full SHA for ba65d2e

• Make AdjustEmptyToAny actually perform the adjustment

  canndrew

  committed
  0e1c2aa

  Copy full SHA for 0e1c2aa

• Control usage of `!` through a feature gate.

  Show description for 5096a8c
  canndrew

  committed
  5096a8c

  Copy full SHA for 5096a8c

• Minor fixups based on @eddyb's feedback

  Show description for f0a8b6d
  canndrew

  committed
  f0a8b6d

  Copy full SHA for f0a8b6d

• Rename empty/bang to never

  Show description for fadabe0
  canndrew

  committed
  fadabe0

  Copy full SHA for fadabe0

• Un-improve Ty::is_uninabited

  canndrew

  committed
  8010314

  Copy full SHA for 8010314

• Minor fix

  canndrew

  committed
  54c72d8

  Copy full SHA for 54c72d8

• Default diverging types based on feature gate.

  Show description for 3639341
  canndrew

  committed
  3639341

  Copy full SHA for 3639341

• Lookup node type in map rather than using write_ty_expr

  canndrew

  committed
  a6d6fff

  Copy full SHA for a6d6fff

• Minor fixup.

  canndrew

  committed
  69e2761

  Copy full SHA for 69e2761

• Correctly handle AdjustNeverToAny in try_find_coercion_lub

  canndrew

  committed
  f019a92

  Copy full SHA for f019a92

• Add run-pass/never_coercions.rs test

  canndrew

  committed
  a05560b

  Copy full SHA for a05560b

• Minor fixups based on feedback

  canndrew

  committed
  a4e6009

  Copy full SHA for a4e6009

• Revert Ty::is_uninhabited to its original state

  canndrew

  committed
  c6890e1

  Copy full SHA for c6890e1

• Add some tests for ! type

  canndrew

  committed
  2eff282

  Copy full SHA for 2eff282

• Add tests for ! type

  canndrew

  committed
  00a71ea

  Copy full SHA for 00a71ea

• Add another test for !

  canndrew

  committed
  06747c6

  Copy full SHA for 06747c6

• Permit `! as T` with test

  canndrew

  committed
  bcff5a7

  Copy full SHA for bcff5a7

• Add explanations to tests

  canndrew

  committed
  29f3636

  Copy full SHA for 29f3636

• Fix `make tidy`

  canndrew

  committed
  5bd54a2

  Copy full SHA for 5bd54a2

• Improve comments on ! tests

  canndrew

  committed
  6b8dace

  Copy full SHA for 6b8dace

• Fix build after rebase

  canndrew

  committed
  ef1b507

  Copy full SHA for ef1b507

• Fix bug in PostExpansionVisitor

  canndrew

  committed
  c3131f2

  Copy full SHA for c3131f2

• Remove diagnostic E0166

  canndrew

  committed
  0add394

  Copy full SHA for 0add394

Commits on Aug 15, 2016

• Fix bug for ! in old trans

  canndrew

  committed
  f59f1f0

  Copy full SHA for f59f1f0