diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2025-01-09 16:47:47 +0000 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2025-03-21 12:56:56 +0100 |
| commit | 8ce8781f29b425bb20dd4fcdd3981de9aa57131b (patch) | |
| tree | c105daea4bdedbd00c8ad76d00bcc7f20f683674 /gcc/tree-inline.cc | |
| parent | 1cad5f2bed18f673112e3b256c64c836fde2550a (diff) | |
| download | gcc-8ce8781f29b425bb20dd4fcdd3981de9aa57131b.zip gcc-8ce8781f29b425bb20dd4fcdd3981de9aa57131b.tar.gz gcc-8ce8781f29b425bb20dd4fcdd3981de9aa57131b.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/tree-inline.cc')
0 files changed, 0 insertions, 0 deletions