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

fixes spurious no_alias errors during polymorphic overload resolution

Browse Source
This commit is contained in:
corley
2026-07-24 01:13:03 +03:00
parent 59ad0d1a09
commit b64407915d
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/check_type.cpp
View File

@@ -2228,9 +2228,13 @@ gb_internal Type *check_get_params(CheckerContext *ctx, Scope *scope, Ast *_para
}
if (p->flags&FieldFlag_no_alias) {
bool ok = is_type_internally_pointer_like(type);
if (!ok) {
error(name, "'#no_alias' can only be applied pointer-like type parameters");
// If type == t_invalid, we either already errored (and erroring again here is just log
// noise) or we are rejecting a polymorphic proc group overload candidate.
// If no_polymorphic_errors is set, we are speculatively checking a candidate and
// erroring+stripping is premature: the chosen candidate will be re-checked with errors enabled,
// so a true error isn't lost.
if (type != t_invalid && !is_type_internally_pointer_like(type) && !ctx->no_polymorphic_errors) {
error(name, "'#no_alias' can only be applied to pointer-like type parameters");
p->flags &= ~FieldFlag_no_alias; // Remove the flag
}
}