mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-06-16 23:31:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix #6814: reject transitive #subtype-only implicit conversion in checker

Browse Source
This commit is contained in:
Andreas Stenmark
2026-06-15 00:51:36 +02:00
parent 42fd7cf37f
commit bc5adb070f
1 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/types.cpp
View File

@@ -5030,9 +5030,15 @@ gb_internal isize check_is_assignable_to_using_subtype(Type *src, Type *dst, isi
return level+1;
}
}
isize nested_level = check_is_assignable_to_using_subtype(f->type, dst, level+1, src_is_ptr, allow_polymorphic);
if (nested_level > 0) {
return nested_level;
// Only follow the chain transitively when the field also has `using`, which is
// what the backend's lookup_subtype_polymorphic_selection requires (it gates
// recursion on EntityFlag_Using). A plain `#subtype`-only field enables a
// single-hop conversion but not a two-or-more hop transitive one.
if (f->flags & EntityFlag_Using) {
isize nested_level = check_is_assignable_to_using_subtype(f->type, dst, level+1, src_is_ptr, allow_polymorphic);
if (nested_level > 0) {
return nested_level;
}
}
}