rust/compiler/rustc_hir_analysis/src/variance/constraints.rs, branch tryhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=try2025-05-27T11:14:47+00:00Fix some var names2025-05-27T11:14:47+00:00Michael Gouletmichael@errs.io2025-05-24T17:41:09+00:00urn:sha1:5f3ae06db07adcd6885558aa1f33ec2711fe0651Rename unpack to kind2025-05-27T11:14:45+00:00Michael Gouletmichael@errs.io2025-05-24T12:07:32+00:00urn:sha1:29c3babd7c03a48b022663beb7ad39bb24bbef36Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwU2025-04-29T16:28:22+00:00Trevor Grosst.gross35@gmail.com2025-04-29T16:28:22+00:00urn:sha1:a20fe8ff236c54cb32189761fd1db8f8db82053e
implement or-patterns for pattern types
These are necessary to represent `NonZeroI32`, as the range for that is `..0 | 1..`. The `rustc_scalar_layout_range_*` attributes avoided this by just implementing wraparound and having a single `1..=-1` range effectively. See https://rust-lang.zulipchat.com/#narrow/channel/481660-t-lang.2Fpattern-types/topic/.60or.20pattern.60.20representation.20in.20type.20system/with/504217694 for some background discussion
cc https://github.com/rust-lang/rust/issues/123646
r? `@BoxyUwU`
Add or-patterns to pattern types2025-04-28T07:50:18+00:00Oli Scherergithub333195615777966@oli-obk.de2025-02-27T09:46:46+00:00urn:sha1:b023856f29743a288727d13d0d1044b8e0d3f9f3Split out various pattern type matches into their own function2025-04-28T07:46:50+00:00Oli Scherergithub333195615777966@oli-obk.de2025-02-27T09:46:46+00:00urn:sha1:cb6d3715a5447da8c291aa5d83133376e5811751Remove `weak` alias terminology2025-04-24T10:59:20+00:00Boxyrust@boxyuwu.dev2025-04-24T10:31:33+00:00urn:sha1:bdfeb8f36bb2716eb8f5aca32ba4f81563a6818bclean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`2025-04-08T02:51:41+00:00xizheyinxizheyin@smail.nju.edu.cn2025-04-08T02:51:41+00:00urn:sha1:c7272a6cbc999a187d564624594889532e47ffa0
Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>
Remove the `Option` part of range ends in the HIR2025-03-06T10:47:40+00:00Oli Scherergithub333195615777966@oli-obk.de2025-02-05T15:22:10+00:00urn:sha1:e8f7a382be12a812b7d73f58967f740a0cf9d9afAvoid having to handle an `Option` in the type system2025-03-06T10:03:11+00:00Oli Scherergithub333195615777966@oli-obk.de2025-02-05T15:22:10+00:00urn:sha1:0e7b2835735fc7fee08505fa6c14670bc7ee7601Begin to implement type system layer of unsafe binders2024-12-22T21:57:57+00:00Michael Gouletmichael@errs.io2024-12-21T17:05:40+00:00urn:sha1:9a1c5eb5b385adb3cd04af0049cbf5c225cefdc3