Execution Continues Despite Type Conversion Error

[notJoon]

Description

The compiler (or, IDE) displays a type conversion error but continues compilation and execution.

go: https://go.dev/play/p/-1gby11D6fv
gno: https://play.gno.land/p/J-sLKDi24K-

Minimal Reproduction Code

type Reader interface {
   Read() string
}

type StringReader interface {
   Reader
   ReadString() string
}

func main() {
   var t interface{}
   var sr StringReader
   t = sr
   var r = Reader(t)  // <- in here, IDE shows the error
   println(r)
}

// Output:
// (undefined)

Current Behaviour

1. Compiler displays the correct error message
2. But continues compilation despite the error
3. Produces an executable that runs and prints "undefined"

Expected Behaviour

cannot convert t (variable of type interface{}) to type Reader: interface{} does not implement Reader (missing method Read)