]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44c58e2) | patch
gccrs: TyTy: SubstitutionRef cast specialization
authorJakub Dupak <dev@jakubdupak.com>
Mon, 11 Dec 2023 22:11:34 +0000 (23:11 +0100)
committerArthur Cohen <arthur.cohen@embecosm.com>
Tue, 30 Jan 2024 11:36:50 +0000 (12:36 +0100)
commit75e6d0cf415c939b020cef2e2693b652848ae45d
tree99f173518d31d25225d2ee3e062a353493848b38tree
parent44c58e2972826bd795431a3dada784b65c4d6487commit | diff
gccrs: 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