Assertion failure with return signature `-> $int` about odin HOT 2 OPEN

However if we add

run :: proc() -> int 
{
	return triangle(1)
}

then it is detected, so 'odin check' only detects this if the procedure with parapoly return value is called somewhere.

from odin.

This is expected behavior, parapoly procedures must be called for them to be checked.

However, the assertion failure that happens after you do use it is a bug so I will leave this open for that.

from odin.