in append([]T, ...T), constant types are not converted to T implicitly

[thehowl]

package main

func main() {
        const x = 118999
        y := 11
        p := []int{}
        p = append(p, x, y)
}

$ gno run a.gno
--- preprocess stack ---
stack 2: func main() { const x<VPBlock(1,0)> = (const (118999 <untyped> bigint)); y<VPBlock(1,1)> := (const (11 int)); p<VPBlock(1,2)> := [](const-type int){}; p<VPBlock(1,2)> = (const (
append func(x <X>{},args MaybeNativeType{...<X.Elem()>{}})(res <X>{})))(p<VPBlock(1,2)>, (const (118999 <untyped> bigint)), y<VPBlock(1,1)>) }
stack 1: file{ package main; func main() { const x<VPBlock(1,0)> = (const (118999 <untyped> bigint)); y<VPBlock(1,1)> := (const (11 int)); p<VPBlock(1,2)> := [](const-type int){}; p<VPBl
ock(1,2)> = (const (append func(x <X>{},args MaybeNativeType{...<X.Elem()>{}})(res <X>{})))(p<VPBlock(1,2)>, (const (118999 <untyped> bigint)), y<VPBlock(1,1)>) } }
stack 0: package(main)
------------------------
panic: incompatible varg types: expected <untyped> bigint, got int [recovered]
        panic: main/a.gno:7: incompatible varg types: expected <untyped> bigint, got int

In other words, you can't put a variable next to a constant when appending to a slice, because the constant is still considered in its untyped version.