diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2025-01-09 16:47:47 +0000 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2025-01-10 09:28:52 +0000 |
| commit | b4a525ce39716cd1e9355b8503c78f3dd0fdbbb3 (patch) | |
| tree | 0a237601854ec98ce80de894f2a121b75c2ecb5c /gcc/rust/rust-lang.cc | |
| parent | c960e034f3d66f88127818cabfd486e68d717872 (diff) | |
| download | gcc-b4a525ce39716cd1e9355b8503c78f3dd0fdbbb3.zip gcc-b4a525ce39716cd1e9355b8503c78f3dd0fdbbb3.tar.gz gcc-b4a525ce39716cd1e9355b8503c78f3dd0fdbbb3.tar.bz2 | |
gccrs: match arms are a LUB
Unify rules are not the same as coercion rules. The coercion of ! is
allowed to any type but not for a unify site which is different.
Match arms are another least upper bound coercion.
gcc/rust/ChangeLog:
* backend/rust-compile-expr.cc (CompileExpr::visit): implement coercion
* typecheck/rust-hir-type-check-expr.cc (TypeCheckExpr::visit): this is an LUB
* typecheck/rust-unify.cc (UnifyRules::go): remove unify ! coercion
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
Diffstat (limited to 'gcc/rust/rust-lang.cc')
0 files changed, 0 insertions, 0 deletions