Skip to content

Rollup of 8 pull requests #108821

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 20 commits into from
Mar 7, 2023
Merged

Rollup of 8 pull requests #108821

Changes from 2 commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
9127834
const_eval: `implies_by` in `rustc_const_unstable`
davidtwco Feb 8, 2023
1f92c61
sub is not sup
compiler-errors Mar 4, 2023
beebd3a
Add regression tests for issue 70919
zeegomo Mar 5, 2023
cb4ebc1
Check for free regions in MIR validation
saethlin Mar 5, 2023
5d7234a
Add test.
cjgillot Mar 5, 2023
858eab6
Do not ICE when casting polymorphic values.
cjgillot Feb 10, 2023
8c0cbd8
Do not ICE when failing to normalize in ConstProp.
cjgillot Mar 6, 2023
2fe288f
emit the suspicious_auto_trait_impls for negative impls as well
mu001999 Mar 6, 2023
5c0f55d
Moves the negative impls into a separate test file
mu001999 Mar 6, 2023
23ba4ce
Bless the remaining ui tests
mu001999 Mar 6, 2023
717f93c
Bless the suspicious-negative-impls-lint.rs
mu001999 Mar 6, 2023
33d7fad
Add regression test for 98444
albertlarsan68 Mar 6, 2023
9c99a4c
Rollup merge of #107801 - davidtwco:stability-implies-const, r=Nilstrieb
matthiaskrgr Mar 6, 2023
6240b54
Rollup merge of #108750 - compiler-errors:aaaaaaaa, r=lcnr
matthiaskrgr Mar 6, 2023
1866ea1
Rollup merge of #108780 - Zeegomo:close-70919, r=WaffleLapkin
matthiaskrgr Mar 6, 2023
4bd6f7f
Rollup merge of #108786 - saethlin:free-regions-check, r=oli-obk
matthiaskrgr Mar 6, 2023
3ae047b
Rollup merge of #108790 - cjgillot:mono-cast, r=oli-obk
matthiaskrgr Mar 6, 2023
ab7dd09
Rollup merge of #108803 - cjgillot:const-prop-normalize, r=oli-obk
matthiaskrgr Mar 6, 2023
3279f7e
Rollup merge of #108807 - MU001999:lint/suspicious_auto_trait_impls, …
matthiaskrgr Mar 6, 2023
567cab9
Rollup merge of #108812 - albertlarsan68:test-98444, r=Nilstrieb
matthiaskrgr Mar 6, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion compiler/rustc_trait_selection/src/traits/engine.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -158,7 +158,7 @@ impl<'a, 'tcx> ObligationCtxt<'a, 'tcx> {
self.infcx
.at(cause, param_env)
.define_opaque_types(true)
.sup(expected, actual)
.sub(expected, actual)
.map(|infer_ok| self.register_infer_ok_obligations(infer_ok))
}

Expand Down