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

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

author	Vadim Petrochenkov <vadim.petrochenkov@gmail.com>
	Sat, 2 Dec 2017 19:15:03 +0000 (22:15 +0300)
committer	Vadim Petrochenkov <vadim.petrochenkov@gmail.com>
	Sun, 14 Jan 2018 15:10:05 +0000 (18:10 +0300)
commit	d19e4c4a8507da7e35d0de2b196c48e6621de1f9
tree	df1852ce3a472b0d835c02f9686bbde9e21cb9e9	tree \| snapshot
parent	48ab4cde5460f9f7c57249e4e62ad569dc843dd8	commit \| diff

syntax: Rewrite parsing of impls

Properly parse impls for the never type `!`
Recover from missing `for` in `impl Trait for Type`
Prohibit inherent default impls and default impls of auto traits
Change wording in more diagnostics to use "auto traits"
Some minor code cleanups in the parser

24 files changed:

src/librustc/hir/lowering.rs		diff \| blob \| history
src/librustc_passes/ast_validation.rs		diff \| blob \| history
src/librustc_passes/diagnostics.rs		diff \| blob \| history
src/librustc_typeck/check/wfcheck.rs		diff \| blob \| history
src/librustc_typeck/coherence/inherent_impls.rs		diff \| blob \| history
src/librustc_typeck/coherence/orphan.rs		diff \| blob \| history
src/librustc_typeck/coherence/unsafety.rs		diff \| blob \| history
src/librustc_typeck/diagnostics.rs		diff \| blob \| history
src/libsyntax/parse/parser.rs		diff \| blob \| history
src/test/compile-fail/E0198.rs		diff \| blob \| history
src/test/compile-fail/coherence-negative-impls-safe.rs		diff \| blob \| history
src/test/compile-fail/issue-46438.rs	[new file with mode: 0644]	blob
src/test/compile-fail/phantom-oibit.rs		diff \| blob \| history
src/test/compile-fail/specialization/defaultimpl/validation.rs	[new file with mode: 0644]	blob
src/test/compile-fail/syntax-trait-polarity-feature-gate.rs		diff \| blob \| history
src/test/compile-fail/syntax-trait-polarity.rs	[new file with mode: 0644]	blob
src/test/compile-fail/trait-safety-inherent-impl.rs		diff \| blob \| history
src/test/compile-fail/typeck-negative-impls-builtin.rs		diff \| blob \| history
src/test/parse-fail/syntax-trait-polarity.rs	[deleted file]	blob \| history
src/test/parse-fail/trait-bounds-not-on-impl.rs		diff \| blob \| history
src/test/run-pass/issue-25693.rs		diff \| blob \| history
src/test/ui/span/impl-parsing.rs	[new file with mode: 0644]	blob
src/test/ui/span/impl-parsing.stderr	[new file with mode: 0644]	blob
src/test/ui/typeck-default-trait-impl-outside-crate.stderr	[deleted file]	blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom