[Go] Known limitations related to Go 1.18

[mitranim]

Adapted from #3289 (comment).

• In parameter lists, type instantiations (type name followed by type argument list in square brackets) should be scoped as types.
  • Actual: type instantiations are scoped as parameters.

interface{Method(Type[TypeArg])}

func(Type, Type[TypeArg])

• In interfaces, when embedding an interface expressed as a type instantiation (interface name followed by type argument list in square brackets), type arguments should be scoped as variable.other.type.
  • Actual: type arguments are scoped as variable.other.

interface{EmbeddedInterface[TypeArg]}

• "Function call" detection should work with type arguments of arbitrary complexity, rather than just with identifiers.
  • Actual: function call detection doesn't work when the list of type arguments passed to a function contains complex type expressions such as type instantiations.

FuncName[Type[TypeArg]]()

• Parameter lists should support types of arbitrary complexity such as [][]Ident.
  • Actual: some parameter types such as [][]Ident are not scoped as types.

func FuncName(param [][]Type)

• In calls to namespaced functions or methods (which are syntactically identical), when there is a list of multiple type parameters separated by commas, type arguments should be scoped as variable.other.type.
  • Actual: type arguments are scoped as variable.parameter.type.

namespace.FuncName[TypeArg, TypeArg]()

• Calls to type-instantiated functions (func name followed by list of type arguments in square brackets) should be recognized as function calls even when the function name is namespaced.
  • Actual: function instantiations are recognized as function calls only when function names are not namespaced.

namespace.FuncName[TypeArg]()

[f9x0]

Please, whoever can, do this.
I really miss these things!