user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/test/ui/nll/user-annotations
History
Felix S. Klock II 92cbe4772a Add test for normalization during field-lookup on patterns with ascribed types. 
As a drive-by, also added test analogous to existing
static_to_a_to_static_through_tuple, but now apply to a struct instead
of a tuple.
2018-10-26 23:47:53 +02:00
..
adt-brace-enums.rs support user-given types in adts 2018-08-24 13:27:38 -04:00
adt-brace-enums.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
adt-brace-structs.rs support user-given types in adts 2018-08-24 13:27:38 -04:00
adt-brace-structs.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
adt-nullary-enums.rs pacify the mercilous tidy: adt-nullary-enums test 2018-08-24 13:27:38 -04:00
adt-nullary-enums.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
adt-tuple-enums.rs support user-given types in adts 2018-08-24 13:27:38 -04:00
adt-tuple-enums.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
adt-tuple-struct.rs support user-given types in adts 2018-08-24 13:27:38 -04:00
adt-tuple-struct.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
cast_static_lifetime.rs Wrap cast expressions inside of ValueTypeAscription 2018-10-19 09:34:28 -04:00
cast_static_lifetime.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
closure-substs.rs stop reporting "unsatisfied lifetime bounds" errors after the first 2018-10-22 11:41:46 -04:00
closure-substs.stderr stop reporting "unsatisfied lifetime bounds" errors after the first 2018-10-22 11:41:46 -04:00
constant-in-expr-inherent-1.rs propagate user-type annotation for constants in expressions 2018-10-19 08:31:35 -04:00
constant-in-expr-inherent-1.stderr propagate user-type annotation for constants in expressions 2018-10-19 08:31:35 -04:00
constant-in-expr-normalize.rs normalize after substitution 2018-10-19 09:32:32 -04:00
constant-in-expr-normalize.stderr normalize after substitution 2018-10-19 09:32:32 -04:00
constant-in-expr-trait-item-1.rs propagate user-type annotation for constants in expressions 2018-10-19 08:31:35 -04:00
constant-in-expr-trait-item-1.stderr propagate user-type annotation for constants in expressions 2018-10-19 08:31:35 -04:00
constant-in-expr-trait-item-2.rs propagate user-type annotation for constants in expressions 2018-10-19 08:31:35 -04:00
constant-in-expr-trait-item-2.stderr propagate user-type annotation for constants in expressions 2018-10-19 08:31:35 -04:00
constant-in-expr-trait-item-3.rs normalize and prove predicates 2018-10-19 09:34:27 -04:00
constant-in-expr-trait-item-3.stderr normalize and prove predicates 2018-10-19 09:34:27 -04:00
dump-adt-brace-struct.rs support user-given types in adts 2018-08-24 13:27:38 -04:00
dump-adt-brace-struct.stderr update tests 2018-10-15 16:25:08 -04:00
dump-fn-method.rs address pnkfelix nits 2018-08-24 13:27:38 -04:00
dump-fn-method.stderr update tests 2018-10-15 16:25:08 -04:00
fns.rs support user annotations in fns, methods 2018-08-24 13:27:38 -04:00
fns.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
issue-54124.rs add regression test for #54124 2018-10-22 10:04:47 -04:00
issue-54124.stderr add regression test for #54124 2018-10-22 10:04:47 -04:00
issue-54570-bootstrapping.rs regression test for ICE I encountered in my patch. 2018-10-26 23:47:53 +02:00
issue-55219.rs port the relate-types code from NLL type-check into a type-op 2018-10-24 15:12:50 -04:00
issue-55241.rs port the relate-types code from NLL type-check into a type-op 2018-10-24 15:12:50 -04:00
method-call.rs support user annotations in fns, methods 2018-08-24 13:27:38 -04:00
method-call.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
method-ufcs-1.rs ufcs with annot in position 1 and 2 2018-08-24 13:27:38 -04:00
method-ufcs-1.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
method-ufcs-2.rs ufcs with annot in position 1 and 2 2018-08-24 13:27:38 -04:00
method-ufcs-2.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
method-ufcs-3.rs rename test case 2018-08-24 13:27:38 -04:00
method-ufcs-3.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
method-ufcs-inherent-1.rs add ~ERROR annotations 2018-10-16 18:11:55 -04:00
method-ufcs-inherent-1.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
method-ufcs-inherent-2.rs add ~ERROR annotations 2018-10-16 18:11:55 -04:00
method-ufcs-inherent-2.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
method-ufcs-inherent-3.rs add ~ERROR annotations 2018-10-16 18:11:55 -04:00
method-ufcs-inherent-3.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
method-ufcs-inherent-4.rs add ~ERROR annotations 2018-10-16 18:11:55 -04:00
method-ufcs-inherent-4.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
normalization.rs add a test that we enforce 'static errors post normalization 2018-10-19 09:34:28 -04:00
normalization.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
normalize-self-ty.rs normalize the self-type that we extract from impl 2018-10-19 09:34:28 -04:00
pattern_substs_on_brace_enum_variant.rs add pattern type ascriptions for tuple/brace structs/enums 2018-10-08 19:20:37 -04:00
pattern_substs_on_brace_enum_variant.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
pattern_substs_on_brace_struct.rs add pattern type ascriptions for tuple/brace structs/enums 2018-10-08 19:20:37 -04:00
pattern_substs_on_brace_struct.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
pattern_substs_on_tuple_enum_variant.rs add pattern type ascriptions for tuple/brace structs/enums 2018-10-08 19:20:37 -04:00
pattern_substs_on_tuple_enum_variant.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
pattern_substs_on_tuple_struct.rs add pattern type ascriptions for tuple/brace structs/enums 2018-10-08 19:20:37 -04:00
pattern_substs_on_tuple_struct.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
patterns.rs Add test for normalization during field-lookup on patterns with ascribed types. 2018-10-26 23:47:53 +02:00
patterns.stderr Add test for normalization during field-lookup on patterns with ascribed types. 2018-10-26 23:47:53 +02:00
type_ascription_static_lifetime.rs Add UI test for preserving user types in type ascriptions 2018-09-29 10:34:36 -07:00
type_ascription_static_lifetime.stderr Use new region infer errors for explaining borrows 2018-10-21 12:35:00 +01:00
wf-self-type.rs check the self type is well-formed 2018-10-23 10:32:46 -04:00
wf-self-type.stderr check the self type is well-formed 2018-10-23 10:32:46 -04:00