(Compiler Panic) GB_PANIC with Parapoly note due to generic parameters

[speechfreedoms]

reference Issue #4849

minimal example

package main
import sa "core:container/small_array"
Small_Array:: sa.Small_Array
main :: proc() {
    example :: proc() -> (result: sa.Small_Array) {return}
    example()
}

Issue: (Compiler Panic) GB_PANIC with Parapoly note due to generic parameters - compiler panics and halts with message:

             \Odin\src\llvm_backend_proc.cpp(72): Panic: example :: proc() -> Small_Array (was parapoly: 1 1)

See:

Odin/src/llvm_backend_proc.cpp

Line 72 in f0b1357

GB_PANIC("%.*s :: %s (was parapoly: %d %d)", LIT(entity->token.string), type_to_string(entity->type), is_type_polymorphic(entity->type, true), is_type_polymorphic(entity->type, false));

Desired

Compiler should error (if possible) in this case

compiler command

odin run . or odin build .

system info

Odin 2025-02
Windows
LLVM 18.1.8

suggested labels

Compiler failure
LLVM backend
Error messaging