*.type, compiler: ] expected but . found

Question
3

You are right, the code could be compiled by 3.3.0 and 3.3.1-RC5.

I think it should be metals’ bug. I have reported it here.

Thanks for your help.