diff --git a/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala b/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala
index ba9975923df0..f7edc82270bf 100644
--- a/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala
+++ b/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala
@@ -157,7 +157,7 @@ trait TypeAssigner {
           else
             qualType.findMember(name, pre)
 
-        if reallyExists(mbr) then qualType.select(name, mbr)
+        if reallyExists(mbr) && NamedType.validPrefix(qualType) then qualType.select(name, mbr)
         else if qualType.isErroneous || name.toTermName == nme.ERROR then UnspecifiedErrorType
         else NoType
   end selectionType
diff --git a/tests/neg/i22357.check b/tests/neg/i22357.check
new file mode 100644
index 000000000000..213782a7fc6c
--- /dev/null
+++ b/tests/neg/i22357.check
@@ -0,0 +1,4 @@
+-- Error: tests/neg/i22357.scala:1:0 -----------------------------------------------------------------------------------
+1 |@([A] =>> Int) // error
+  |^^^^^^^^^^^^^^
+  |[A] =>> Int does not have a constructor
diff --git a/tests/neg/i22357.scala b/tests/neg/i22357.scala
new file mode 100644
index 000000000000..d572c150fb81
--- /dev/null
+++ b/tests/neg/i22357.scala
@@ -0,0 +1,2 @@
+@([A] =>> Int) // error
+def i = 1
diff --git a/tests/neg/i22357a.check b/tests/neg/i22357a.check
new file mode 100644
index 000000000000..9b2bcd2510d4
--- /dev/null
+++ b/tests/neg/i22357a.check
@@ -0,0 +1,4 @@
+-- Error: tests/neg/i22357a.scala:2:6 ----------------------------------------------------------------------------------
+2 |  new ([A] =>> Int)(2) // error
+  |      ^^^^^^^^^^^^^
+  |      [A] =>> Int does not have a constructor
diff --git a/tests/neg/i22357a.scala b/tests/neg/i22357a.scala
new file mode 100644
index 000000000000..b6c9c04fb268
--- /dev/null
+++ b/tests/neg/i22357a.scala
@@ -0,0 +1,2 @@
+def main =
+  new ([A] =>> Int)(2) // error