diff options
| author | Philip Herron <philip.herron@embecosm.com> | 2021-11-25 13:06:28 +0000 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2021-11-25 13:37:52 +0000 |
| commit | d0e51dca2dedf32d1d0a48d560f89e2952aee063 (patch) | |
| tree | bcca3014e9e70ac0fdcd475b0f191e90d8c6b74e /gcc/rust/backend/rust-compile-expr.cc | |
| parent | 717b6da459b26ace9a3c303cfa5e485ff8935709 (diff) | |
| download | gcc-d0e51dca2dedf32d1d0a48d560f89e2952aee063.zip gcc-d0e51dca2dedf32d1d0a48d560f89e2952aee063.tar.gz gcc-d0e51dca2dedf32d1d0a48d560f89e2952aee063.tar.bz2 | |
Make TyTy::BaseType::contains_type_parameters non-virtual
This is a second cleanup to the generic interfaces in the type system. The
helper for contains type parameters is akin to asking if a type is concrete
or not. If a type is not concrete ie: contains type parameters then this
can be leveraged instead of adding more complexity.
The TyTy::BaseType::is_concrete is already an abstract method forcing
all types to implement it, this makes it much safer and fixes some bad
infinite recursion bugs if we asked if a type contained type-parameters
which in turn somtimes aksed if it was concrete or not which in turn
again called contains_type_parameters. This cleans it all up. More
cleanup to these interfaces can be done over time.
Diffstat (limited to 'gcc/rust/backend/rust-compile-expr.cc')
0 files changed, 0 insertions, 0 deletions