Code

RFC: Generalized Type Ascription#2522

Code

Closed

Centril wants to merge 49 commits intorust-lang:masterrust-lang/rfcs:masterfrom Centril:rfc/generalized-type-ascriptionCentril/rfcs:rfc/generalized-type-ascriptionCopy head branch name to clipboard

+1,285

Commits

Commits on Aug 6, 2018

• rfc, generalized-type-ascription: initial version.

  Centril

  committed
  3eb7a9a

  Copy full SHA for 3eb7a9a

• rfc, generalized-type-ascription: fix typo.

  Centril

  committed
  54aecda

  Copy full SHA for 54aecda

• rfc, generalized-type-ascription: fix another typo.

  Centril

  committed
  d02d310

  Copy full SHA for d02d310

• rfc, generalized-type-ascription: notes on RFC 1685.

  Centril

  committed
  e0cb715

  Copy full SHA for e0cb715

• rfc, generalized-type-ascription: note on RFC 803 in summary.

  Centril

  committed
  116597d

  Copy full SHA for 116597d

• rfc, generalized-type-ascription: improve proof trees.

  Centril

  committed
  e4a5198

  Copy full SHA for e4a5198

• rfc, generalized-type-ascription: a bit more formal.

  Centril

  committed
  1309b8f

  Copy full SHA for 1309b8f

Commits on Aug 7, 2018

• rfc, generalized-type-ascription: discuss inverted order operator.

  Centril

  committed
  8962600

  Copy full SHA for 8962600

• rfc, generalized-type-ascription: move a link.

  Centril

  committed
  a5f4561

  Copy full SHA for a5f4561

• rfc, generalized-type-ascription: don't abbreviate type driven development.

  Centril

  committed
  0fa83cc

  Copy full SHA for 0fa83cc

• rfc, generalized-type-ascription: add .parse() example.

  Centril

  committed
  b090523

  Copy full SHA for b090523

• rfc, generalized-type-ascription: insert newlines.

  Centril

  committed
  7495b3d

  Copy full SHA for 7495b3d

• rfc, generalized-type-ascription: fix typos in function names.

  Centril

  committed
  99af9de

  Copy full SHA for 99af9de

• rfc, generalized-type-ascription: talk more about RFC 1685.

  Centril

  committed
  306f20d

  Copy full SHA for 306f20d

• rfc, generalized-type-ascription: fix b1 -> bad_1.

  Centril

  committed
  41d5777

  Copy full SHA for 41d5777

• rfc, generalized-type-ascription: notes on ascription and impl Trait.

  Centril

  committed
  3d06ab7

  Copy full SHA for 3d06ab7

• rfc, generalized-type-ascription: add SML to prior art.

  Centril

  committed
  df37346

  Copy full SHA for df37346

• rfc, generalized-type-ascription: clarify in-expression precedence.

  Centril

  committed
  c51d513

  Copy full SHA for c51d513

• rfc, generalized-type-ascription: note on colon not in follow set of pat.

  Centril

  committed
  13015e6

  Copy full SHA for 13015e6

• rfc, generalized-type-ascription: providing type info is optional.

  Centril

  committed
  c1614c4

  Copy full SHA for c1614c4

• rfc, generalized-type-ascription: correct precedence of &/&mut in patterns.

  Centril

  committed
  4546db7

  Copy full SHA for 4546db7

• rfc, generalized-type-ascription: talk about match ergonomics.

  Centril

  committed
  7c35770

  Copy full SHA for 7c35770

• rfc, generalized-type-ascription: async: T {..} unresolved.

  Centril

  committed
  4a57ccb

  Copy full SHA for 4a57ccb

• rfc, generalized-type-ascription: address concern about type level functions + readability.

  Centril

  committed
  f025bb0

  Copy full SHA for f025bb0

• rfc, generalized-type-ascription: reword previously added section.

  Centril

  committed
  0ff7c14

  Copy full SHA for 0ff7c14

Commits on Aug 8, 2018

• rfc, generalized-type-ascription: reorder motivation.

  Centril

  committed
  d43defa

  Copy full SHA for d43defa

• rfc, generalized-type-ascription: make the lint more strict.

  Centril

  committed
  7bc2ca0

  Copy full SHA for 7bc2ca0

• rfc, generalized-type-ascription: future-work, lifetimes in param patterns.

  Centril

  committed
  b598a5f

  Copy full SHA for b598a5f

• rfc, generalized-type-ascription: specify all details wrt. lifetimes in RLE.

  Centril

  committed
  2a7d0ab

  Copy full SHA for 2a7d0ab

• rfc, generalized-type-ascription: fix mistakes in RLE.

  Centril

  committed
  318af0f

  Copy full SHA for 318af0f

Commits on Aug 10, 2018

• rfc, generalized-type-ascription: add type inference restrictions and discuss it.

  Centril

  committed
  c4e4f0d

  Copy full SHA for c4e4f0d

• rfc, generalized-type-ascription: fix typo.

  Centril

  committed
  4f3ebf4

  Copy full SHA for 4f3ebf4

• rfc, generalized-type-ascription: update date to 2018-08-10.

  Centril

  committed
  3c4c03a

  Copy full SHA for 3c4c03a

• rfc, generalized-type-ascription: more about field punning.

  Centril

  committed
  7fc769d

  Copy full SHA for 7fc769d

• rfc, generalized-type-ascription: move field punning section.

  Centril

  committed
  71385db

  Copy full SHA for 71385db

Commits on Aug 11, 2018

• rfc, generalized-type-ascription: talk about .into().

  Centril

  committed
  2159112

  Copy full SHA for 2159112

Commits on Aug 14, 2018

• rfc, generalized-type-ascription: additional motivation.

  Centril

  committed
  f56ab5a

  Copy full SHA for f56ab5a

• rfc, generalized-type-ascription: field punning alternative.

  Centril

  committed
  89d6cfb

  Copy full SHA for 89d6cfb

Commits on Aug 15, 2018

• rfc, generalized-type-ascription: fix typos.

  Centril

  committed
  6becafb

  Copy full SHA for 6becafb

Commits on Aug 23, 2018

• rfc, generalized-type-ascription: mention for loops.

  Centril

  committed
  9c85800

  Copy full SHA for 9c85800

• rfc, generalized-type-ascription: clarify feature gates.

  Centril

  committed
  de40977

  Copy full SHA for de40977

• rfc, generalized-type-ascription: talk about rust-lang/rust#53572.

  Centril

  committed
  e36ca01

  Copy full SHA for e36ca01

• rfc, generalized-type-ascription: remove unresolved question wrt. match ergonomics.

  Centril

  committed
  4ad5b0c

  Copy full SHA for 4ad5b0c

• rfc, generalized-type-ascription: talk about async: T { .. }.

  Centril

  committed
  6622045

  Copy full SHA for 6622045

• rfc, generalized-type-ascription: fix typo.

  Centril

  committed
  537908f

  Copy full SHA for 537908f

Commits on Dec 22, 2018

• rfc, generalized-type-ascription: drop block_ascription and limited_fn_inference.

  Centril

  committed
  08f3e28

  Copy full SHA for 08f3e28

Commits on Jan 2, 2019

• rfc, generalized-type-ascription: add if let example.

  haslersn

  committed
  e3b886c

  Copy full SHA for e3b886c

Commits on Jan 3, 2019

• Merge pull request #20 from haslersn/rfc/generalized-type-ascription-if-let-example

  Show description for 781d528
  Centril

  authored
  781d528

  Copy full SHA for 781d528

• rfc, generalized-type-ascription: fix typo.

  Centril

  committed
  6c1739b

  Copy full SHA for 6c1739b