Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

RFC: Generalized Type Ascription #2522

Closed
wants to merge 49 commits into from
Closed

RFC: Generalized Type Ascription #2522

Changes from 37 commits
Commits
Show all changes
49 commits
Select commit Hold shift + click to select a range
3eb7a9a
rfc, generalized-type-ascription: initial version.
Centril Aug 6, 2018
54aecda
rfc, generalized-type-ascription: fix typo.
Centril Aug 6, 2018
d02d310
rfc, generalized-type-ascription: fix another typo.
Centril Aug 6, 2018
e0cb715
rfc, generalized-type-ascription: notes on RFC 1685.
Centril Aug 6, 2018
116597d
rfc, generalized-type-ascription: note on RFC 803 in summary.
Centril Aug 6, 2018
e4a5198
rfc, generalized-type-ascription: improve proof trees.
Centril Aug 6, 2018
1309b8f
rfc, generalized-type-ascription: a bit more formal.
Centril Aug 6, 2018
8962600
rfc, generalized-type-ascription: discuss inverted order operator.
Centril Aug 7, 2018
a5f4561
rfc, generalized-type-ascription: move a link.
Centril Aug 7, 2018
0fa83cc
rfc, generalized-type-ascription: don't abbreviate type driven develo…
Centril Aug 7, 2018
b090523
rfc, generalized-type-ascription: add .parse() example.
Centril Aug 7, 2018
7495b3d
rfc, generalized-type-ascription: insert newlines.
Centril Aug 7, 2018
99af9de
rfc, generalized-type-ascription: fix typos in function names.
Centril Aug 7, 2018
306f20d
rfc, generalized-type-ascription: talk more about RFC 1685.
Centril Aug 7, 2018
41d5777
rfc, generalized-type-ascription: fix b1 -> bad_1.
Centril Aug 7, 2018
3d06ab7
rfc, generalized-type-ascription: notes on ascription and impl Trait.
Centril Aug 7, 2018
df37346
rfc, generalized-type-ascription: add SML to prior art.
Centril Aug 7, 2018
c51d513
rfc, generalized-type-ascription: clarify in-expression precedence.
Centril Aug 7, 2018
13015e6
rfc, generalized-type-ascription: note on colon not in follow set of …
Centril Aug 7, 2018
c1614c4
rfc, generalized-type-ascription: providing type info is optional.
Centril Aug 7, 2018
4546db7
rfc, generalized-type-ascription: correct precedence of &/&mut in pat…
Centril Aug 7, 2018
7c35770
rfc, generalized-type-ascription: talk about match ergonomics.
Centril Aug 7, 2018
4a57ccb
rfc, generalized-type-ascription: async: T {..} unresolved.
Centril Aug 7, 2018
f025bb0
rfc, generalized-type-ascription: address concern about type level fu…
Centril Aug 7, 2018
0ff7c14
rfc, generalized-type-ascription: reword previously added section.
Centril Aug 7, 2018
d43defa
rfc, generalized-type-ascription: reorder motivation.
Centril Aug 8, 2018
7bc2ca0
rfc, generalized-type-ascription: make the lint more strict.
Centril Aug 8, 2018
b598a5f
rfc, generalized-type-ascription: future-work, lifetimes in param pat…
Centril Aug 8, 2018
2a7d0ab
rfc, generalized-type-ascription: specify all details wrt. lifetimes …
Centril Aug 8, 2018
318af0f
rfc, generalized-type-ascription: fix mistakes in RLE.
Centril Aug 8, 2018
c4e4f0d
rfc, generalized-type-ascription: add type inference restrictions and…
Centril Aug 10, 2018
4f3ebf4
rfc, generalized-type-ascription: fix typo.
Centril Aug 10, 2018
3c4c03a
rfc, generalized-type-ascription: update date to 2018-08-10.
Centril Aug 10, 2018
7fc769d
rfc, generalized-type-ascription: more about field punning.
Centril Aug 10, 2018
71385db
rfc, generalized-type-ascription: move field punning section.
Centril Aug 10, 2018
2159112
rfc, generalized-type-ascription: talk about .into().
Centril Aug 11, 2018
f56ab5a
rfc, generalized-type-ascription: additional motivation.
Centril Aug 14, 2018
89d6cfb
rfc, generalized-type-ascription: field punning alternative.
Centril Aug 14, 2018
6becafb
rfc, generalized-type-ascription: fix typos.
Centril Aug 15, 2018
9c85800
rfc, generalized-type-ascription: mention for loops.
Centril Aug 23, 2018
de40977
rfc, generalized-type-ascription: clarify feature gates.
Centril Aug 23, 2018
e36ca01
rfc, generalized-type-ascription: talk about rust-lang/rust#53572.
Centril Aug 23, 2018
4ad5b0c
rfc, generalized-type-ascription: remove unresolved question wrt. mat…
Centril Aug 23, 2018
6622045
rfc, generalized-type-ascription: talk about async: T { .. }.
Centril Aug 23, 2018
537908f
rfc, generalized-type-ascription: fix typo.
Centril Aug 23, 2018
08f3e28
rfc, generalized-type-ascription: drop block_ascription and limited_f…
Centril Dec 22, 2018
e3b886c
rfc, generalized-type-ascription: add `if let` example.
haslersn Jan 2, 2019
781d528
Merge pull request #20 from haslersn/rfc/generalized-type-ascription-…
Centril Jan 3, 2019
6c1739b
rfc, generalized-type-ascription: fix typo.
Centril Jan 3, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading