git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Matthew Jasper <mjjasper1@gmail.com>
	Sun, 28 Jun 2020 15:46:02 +0000 (16:46 +0100)
committer	Matthew Jasper <mjjasper1@gmail.com>
	Tue, 6 Oct 2020 10:19:30 +0000 (11:19 +0100)
commit	5b279c801635c2762c013c1d13a9bead3bcd9df4
tree	156749754f712a49b30eace463a579d3afc62ea7	tree \| snapshot
parent	b3057f4d5fe7156aa85e1844d3638fa14ba48b79	commit \| diff

Check opaque types satisfy their bounds

22 files changed:

compiler/rustc_trait_selection/src/opaque_types.rs		diff \| blob \| history
compiler/rustc_typeck/src/check/check.rs		diff \| blob \| history
src/test/ui/associated-types/impl-trait-return-missing-constraint.stderr		diff \| blob \| history
src/test/ui/async-await/async-error-span.stderr		diff \| blob \| history
src/test/ui/async-await/issue-64130-4-async-move.stderr		diff \| blob \| history
src/test/ui/async-await/issue-70818.stderr		diff \| blob \| history
src/test/ui/generator/type-mismatch-signature-deduction.stderr		diff \| blob \| history
src/test/ui/impl-trait/bound-normalization-fail.stderr		diff \| blob \| history
src/test/ui/impl-trait/issue-55872-1.stderr		diff \| blob \| history
src/test/ui/issues-71798.stderr		diff \| blob \| history
src/test/ui/lifetimes/lifetime-elision-return-type-trait.stderr		diff \| blob \| history
src/test/ui/never_type/feature-gate-never_type_fallback.stderr		diff \| blob \| history
src/test/ui/suggestions/impl-trait-return-trailing-semicolon.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/bounds-are-checked-2.rs	[new file with mode: 0644]	blob
src/test/ui/type-alias-impl-trait/bounds-are-checked-2.stderr	[new file with mode: 0644]	blob
src/test/ui/type-alias-impl-trait/bounds-are-checked.rs	[new file with mode: 0644]	blob
src/test/ui/type-alias-impl-trait/bounds-are-checked.stderr	[new file with mode: 0644]	blob
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use10.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/generic_duplicate_param_use7.rs		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-60371.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/issue-63279.stderr		diff \| blob \| history
src/test/ui/type-alias-impl-trait/type-alias-impl-trait.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom