rust/src/test/ui/wf
bors 35a5541fd9 Auto merge of #53707 - eddyb:phantom-waffles, r=oli-obk
rustc_typeck: turn `where Type:,` into a WF(Type) predicate, instead of ignoring it.

Fixes #53696, assuming crater doesn't catch anyone using this syntax already.

Allowing an empty list of bounds in the grammar was done for the benefit of macro authors, most of which would *probably* be using it for bounds on type parameters, which are always WF.

r? @nikomatsakis cc @petrochenkov
2018-09-06 09:32:23 +00:00
..
wf-array-elem-sized.rs
wf-array-elem-sized.stderr
wf-const-type.rs
wf-const-type.stderr
wf-enum-bound.rs
wf-enum-bound.stderr
wf-enum-fields-struct-variant.rs
wf-enum-fields-struct-variant.stderr
wf-enum-fields.rs
wf-enum-fields.stderr
wf-fn-where-clause.rs rustc_typeck: turn where Type:, into a WF(Type) predicate, instead of ignoring it. 2018-08-31 09:02:35 +03:00
wf-fn-where-clause.stderr rustc_typeck: turn where Type:, into a WF(Type) predicate, instead of ignoring it. 2018-08-31 09:02:35 +03:00
wf-impl-associated-type-region.rs
wf-impl-associated-type-region.stderr
wf-impl-associated-type-trait.rs
wf-impl-associated-type-trait.stderr
wf-in-fn-arg.rs
wf-in-fn-arg.stderr
wf-in-fn-ret.rs
wf-in-fn-ret.stderr
wf-in-fn-type-arg.rs
wf-in-fn-type-arg.stderr
wf-in-fn-type-ret.rs
wf-in-fn-type-ret.stderr
wf-in-fn-type-static.rs
wf-in-fn-type-static.stderr
wf-in-fn-where-clause.rs
wf-in-fn-where-clause.stderr
wf-in-obj-type-static.rs
wf-in-obj-type-static.stderr
wf-in-obj-type-trait.rs
wf-in-obj-type-trait.stderr
wf-inherent-impl-method-where-clause.rs
wf-inherent-impl-method-where-clause.stderr
wf-inherent-impl-where-clause.rs
wf-inherent-impl-where-clause.stderr
wf-misc-methods-issue-28609.nll.stderr
wf-misc-methods-issue-28609.rs
wf-misc-methods-issue-28609.stderr
wf-object-safe.rs
wf-object-safe.stderr
wf-outlives-ty-in-fn-or-trait.rs
wf-outlives-ty-in-fn-or-trait.stderr
wf-static-method.nll.stderr Update tests 2018-09-01 12:58:18 +02:00
wf-static-method.rs
wf-static-method.stderr
wf-static-type.rs
wf-static-type.stderr
wf-struct-bound.rs
wf-struct-bound.stderr
wf-struct-field.rs
wf-struct-field.stderr
wf-trait-associated-type-bound.rs
wf-trait-associated-type-bound.stderr
wf-trait-associated-type-region.rs
wf-trait-associated-type-region.stderr
wf-trait-associated-type-trait.rs
wf-trait-associated-type-trait.stderr
wf-trait-bound.rs
wf-trait-bound.stderr
wf-trait-default-fn-arg.rs
wf-trait-default-fn-arg.stderr
wf-trait-default-fn-ret.rs
wf-trait-default-fn-ret.stderr
wf-trait-default-fn-where-clause.rs
wf-trait-default-fn-where-clause.stderr
wf-trait-fn-arg.rs
wf-trait-fn-arg.stderr
wf-trait-fn-ret.rs
wf-trait-fn-ret.stderr
wf-trait-fn-where-clause.rs
wf-trait-fn-where-clause.stderr
wf-trait-superbound.rs
wf-trait-superbound.stderr