diff options
| author | Philip Herron <philip.herron@embecosm.com> | 2022-08-08 17:04:03 +0100 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2022-08-08 17:08:01 +0100 |
| commit | e0a14f483979aea48f7588656b4269e1b9dbee34 (patch) | |
| tree | 2ee0b9bb4e3f5d6d431740c5fb61936ed197828d /gcc/rust/backend/rust-compile-expr.h | |
| parent | 8749b66879f3ef78182d7712e5da981cc55f747a (diff) | |
| download | gcc-e0a14f483979aea48f7588656b4269e1b9dbee34.zip gcc-e0a14f483979aea48f7588656b4269e1b9dbee34.tar.gz gcc-e0a14f483979aea48f7588656b4269e1b9dbee34.tar.bz2 | |
ADT's and tuples are valid to be unified with inference variables
There is some dulication here which will eventually go away with the
coercion site refactor which is still a WIP. Here we update the type rules
so that we allow ADT's and tuples to unify and thus fulfill the type
inference rules.
Addresses #1447
Diffstat (limited to 'gcc/rust/backend/rust-compile-expr.h')
0 files changed, 0 insertions, 0 deletions