support type annot in constants, casts - #55152

Merged

bors merged 21 commits into

rust-lang:masterfrom

nikomatsakis:nll-issue-54571-type-annot-in-constants

Oct 19, 2018

Commits on Oct 19, 2018

remove outdated assertion
nikomatsakis
committed
bd93741
convert `FnDef` to `TypeOf`, which is more general
nikomatsakis
committed
ebdfda6
propagate user-type annotation for constants in expressions
nikomatsakis
committed
e94959b
replace `UserTypeAnnotation::AdtDef` with `TypeOf`
nikomatsakis
committed
a0a3b4c
type_check/mod.rs: rustfmt
nikomatsakis
committed
e7ab33e
pull `relate_type_and_user_type` code into `type_check` module
nikomatsakis
committed
f99300f
normalize after substitution
nikomatsakis
committed
121f3c8
normalize and prove predicates
nikomatsakis
committed
bfb1d95
suppress duplicate -- or near duplicate -- type test errors
nikomatsakis
committed
e20fa70
Wrap cast expressions inside of ValueTypeAscription

KiChjang
authored and
nikomatsakis
committed
80ad300
create type ascription for any cast
nikomatsakis
committed
2d98e9e
save the user-provided type immediately upon return from astconv
nikomatsakis
committed
ab79cf9
pacify the mercilous tidy
nikomatsakis
committed
26fdac6
lowering casts in constants now creates multiple uses
nikomatsakis
committed
d5d5e8c
skip user-type annotations if they don't have regions
nikomatsakis
committed
a66ab2b
pacify the mercilous tidy
nikomatsakis
committed
02e5a90
region_infer/mod.rs: rustfmt
nikomatsakis
committed
061c9a2
add useful debug log
nikomatsakis
committed
820c265
add a test that we enforce '`static` errors post normalization
nikomatsakis
committed
16b3ea1
even though we don't need it yet, fix the "fast path" code
nikomatsakis
committed
f5cc7db
normalize the self-type that we extract from impl
nikomatsakis
committed
9a7bb0e

Navigation Menu

Uh oh!

Uh oh!

support type annot in constants, casts - #55152

support type annot in constants, casts#55152
bors merged 21 commits into
rust-lang:masterfrom
nikomatsakis:nll-issue-54571-type-annot-in-constants

Commits on Oct 19, 2018

remove outdated assertion

convert `FnDef` to `TypeOf`, which is more general

propagate user-type annotation for constants in expressions

replace `UserTypeAnnotation::AdtDef` with `TypeOf`

type_check/mod.rs: rustfmt

pull `relate_type_and_user_type` code into `type_check` module

normalize after substitution

normalize and prove predicates

suppress duplicate -- or near duplicate -- type test errors

Wrap cast expressions inside of ValueTypeAscription

create type ascription for any cast

save the user-provided type immediately upon return from astconv

pacify the mercilous tidy

lowering casts in constants now creates multiple uses

skip user-type annotations if they don't have regions

pacify the mercilous tidy

region_infer/mod.rs: rustfmt

add useful debug log

add a test that we enforce '`static` errors post normalization

even though we don't need it yet, fix the "fast path" code

normalize the self-type that we extract from impl