diff options
| author | Philip Herron <philip.herron@embecosm.com> | 2022-03-10 16:17:52 +0000 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2022-03-10 16:51:03 +0000 |
| commit | 894e9d29adadc13e9841f43df32a07939480846d (patch) | |
| tree | 79d5a16c370b33a5082597aa160766bff658b8ee /gcc/gimple-warn-recursion.cc | |
| parent | a620a228c1d79d4725efd5d6ed5f0ebe398e6787 (diff) | |
| download | gcc-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/gimple-warn-recursion.cc')
0 files changed, 0 insertions, 0 deletions