aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/backend
diff options
context:
space:
mode:
authorPhilip Herron <philip.herron@embecosm.com>2022-03-10 16:17:52 +0000
committerPhilip Herron <philip.herron@embecosm.com>2022-03-10 16:51:03 +0000
commit894e9d29adadc13e9841f43df32a07939480846d (patch)
tree79d5a16c370b33a5082597aa160766bff658b8ee /gcc/rust/backend
parenta620a228c1d79d4725efd5d6ed5f0ebe398e6787 (diff)
downloadgcc-894e9d29adadc13e9841f43df32a07939480846d.zip
gcc-894e9d29adadc13e9841f43df32a07939480846d.tar.gz
gcc-894e9d29adadc13e9841f43df32a07939480846d.tar.bz2
Handle generic Slices and Arrays
Slices and Arrays are covariant types which means they can contain elements which bind generics such as ADT or FnTypes. This means substitutions can be recursive and this gives the typechecker a chance to handle this recursion on these types.
Diffstat (limited to 'gcc/rust/backend')
0 files changed, 0 insertions, 0 deletions