What it means. A parameter’s default-value literal is statically incompatible with the parameter’s declared type.
package main
func create(a int = "not-an-int") int = a
// ^^^^^^^^^^^^ string literal, int parameter
func main() {
Println(create())
}
error[GALA-E0014]: default for parameter "a" has type string, expected int
--> e0014.gala:3:21
|
3 | func create(a int = "not-an-int") int = a
| ^^^^^^^^^^^^ fix the default expression or change the parameter type
|
= hint: fix the default expression or change the parameter type
The caret underlines the default expression itself — this check records an exact span rather than letting the renderer derive one.
Adjust the default to match the parameter type, or change the type to match the intended default:
func create(a int = 0) int = a
func create(a string = "not-an-int") string = a
Default-argument injection happens at the call site, so a mismatched default would either fail in Go with a less actionable message or silently round-trip through an implicit conversion. Catching it in the analyzer keeps the error next to the declaration, where the fix is obvious.
Note that the check runs for literal defaults only. Non-literal expressions (f(), x + 1) are skipped because their types depend on resolution context; the literal subset covers the cases most likely to be typos.