RFC: Generalized Type Ascription - #2522

Closed

Centril wants to merge 49 commits into

rust-lang:masterfrom

Centril:rfc/generalized-type-ascription

Commits on Aug 6, 2018

rfc, generalized-type-ascription: initial version.
Centril
committed
3eb7a9a
rfc, generalized-type-ascription: fix typo.
Centril
committed
54aecda
rfc, generalized-type-ascription: fix another typo.
Centril
committed
d02d310
rfc, generalized-type-ascription: notes on RFC 1685.
Centril
committed
e0cb715
rfc, generalized-type-ascription: note on RFC 803 in summary.
Centril
committed
116597d
rfc, generalized-type-ascription: improve proof trees.
Centril
committed
e4a5198
rfc, generalized-type-ascription: a bit more formal.
Centril
committed
1309b8f

Commits on Aug 7, 2018

Commits on Aug 11, 2018

rfc, generalized-type-ascription: talk about .into().
Centril
committed
2159112

Commits on Aug 14, 2018

Commits on Aug 15, 2018

rfc, generalized-type-ascription: fix typos.
Centril
committed
6becafb

Commits on Aug 23, 2018

Commits on Dec 22, 2018

rfc, generalized-type-ascription: drop block_ascription and limited_fn_inference.
Centril
committed
08f3e28

Commits on Jan 2, 2019

rfc, generalized-type-ascription: add `if let` example.
haslersn
committed
e3b886c

Commits on Jan 3, 2019