···13881388");
13891389 Expect(SymbolInterpretations.Function);
13901390 }
13911391+13921392+ [Test]
13931393+ public void ErrorSingleColonInMetaValue()
13941394+ {
13951395+ CompileInvalid(@"
13961396+// There is a typo in this declaration: single `:` instead of `::`.
13971397+name psr::pattern:test/2.0;
13981398+");
13991399+ }
14001400+14011401+ [Test]
14021402+ public void ErrorSingleColonInMetaValue2()
14031403+ {
14041404+ CompileInvalid(@"
14051405+// There is a typo in this declaration: single `:` instead of `.` (this can happen on German keyboards)
14061406+name psr.pattern:test/2.0;
14071407+");
14081408+ }
1391140913921410 [ContractAnnotation("value:null=>halt")]
13931411 private static void _assumeNotNull(object value)