]> git.lizzy.rs Git - rust.git/commit
rustc_session: forbid lints override regardless of position
authorTobias Thiel <tobias011@gmail.com>
Wed, 8 Apr 2020 04:41:54 +0000 (21:41 -0700)
committerTobias Thiel <tobias011@gmail.com>
Wed, 8 Apr 2020 05:05:32 +0000 (22:05 -0700)
commitf03db79eaa8ce5c5b53100baa63816c41631c625
tree0a1691df1772a31854f511c44167e80f320f1db6
parent42abbd8878d3b67238f3611b0587c704ba94f39c
rustc_session: forbid lints override regardless of position
src/doc/rustc/src/lints/levels.md
src/librustc_session/config.rs
src/test/ui-fulldeps/lint-group-forbid-always-trumps-cli.rs [new file with mode: 0644]
src/test/ui-fulldeps/lint-group-forbid-always-trumps-cli.stderr [new file with mode: 0644]