]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #104773 - oli-obk:overlap, r=lcnr
authorMatthias Krüger <matthias.krueger@famsik.de>
Thu, 24 Nov 2022 20:34:53 +0000 (21:34 +0100)
committerGitHub <noreply@github.com>
Thu, 24 Nov 2022 20:34:53 +0000 (21:34 +0100)
OpaqueCast projections are always overlapping, they can't possibly be disjoint

r? ``@lcnr``


Trivial merge