]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19a422d) | patch
TyTy: SubstitutionRef cast specialization
authorJakub Dupak <dev@jakubdupak.com>
Mon, 11 Dec 2023 22:11:34 +0000 (23:11 +0100)
committerPhilip Herron <philip.herron@embecosm.com>
Tue, 19 Dec 2023 17:23:09 +0000 (17:23 +0000)
commiteb7dffae860b30215382f2f58a9f22932122ce96
tree88f6234e5a3a0774d5e46c0ee637808b1104a5c5tree
parent19a422d8b881b8e75cf549664e5333df706ece19commit | diff
TyTy: SubstitutionRef cast specialization

Allows skipping parent check when casting.

gcc/rust/ChangeLog:

* typecheck/rust-tyty.h (BaseType::is): Cast API.
(SubstitutionRef>): Cast API.
(BaseType::as): Cast API.
(BaseType::try_as): Cast API.

Signed-off-by: Jakub Dupak <dev@jakubdupak.com>
gcc/rust/typecheck/rust-tyty.h diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git