]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: aeeac5d b2e6d08)
Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errors
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>
Sat, 19 Nov 2022 06:24:44 +0000 (11:54 +0530)
committerGitHub <noreply@github.com>
Sat, 19 Nov 2022 06:24:44 +0000 (11:54 +0530)
commit00876c68c46d892790957931384d15d643de32fa
tree6d0ddaca897d40646adb9a681ae78f3e236e6226tree | snapshot
parentaeeac5dd0c079cbe36ea5ba6eed702e88906eb16commit | diff
parentb2e6d08e3f88aee01d84412e0ea8369c48e0f419commit | diff
Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errors

nll: correctly deal with bivariance

fixes #104409

when in a bivariant context, relating stuff should always trivially succeed. Also changes the mir validator to correctly deal with higher ranked regions.

r? types cc ``@RalfJung``
compiler/rustc_const_eval/src/interpret/eval_context.rs diff1 | diff2 | blob | history
compiler/rustc_hir_analysis/src/check/check.rs diff1 | diff2 | blob | history
compiler/rustc_hir_analysis/src/check/compare_method.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.