Context

Odin:    dev-2024-12:0a29d36aa
OS:      Windows 11 Home Basic (version: 23H2), build 22631.4602
CPU:     AMD Ryzen 7 6800HS with Radeon Graphics
RAM:     15608 MiB
Backend: LLVM 18.1.8

Expected Behavior

I would assume this shouldn't be allowed in the first place cause you're not resolving the poly at the decloration.

Current Behavior

Running the given code the complier crashes with a src\check_expr.cpp(468): Assertion Failure: `base_entity->kind == Entity_Procedure`

Steps to Reproduce

1. Copy Paste
2. Run
3. Profit???

package main

import "core:fmt"

add :: proc (a, b: $T) -> T {
    return a + b
}

sum := add

main :: proc() {
    fmt.println(sum(1, 2))
}