diff --git a/compiler/src/dotty/tools/dotc/quoted/QuotePatterns.scala b/compiler/src/dotty/tools/dotc/quoted/QuotePatterns.scala index 66085a21e93c..ed5437649093 100644 --- a/compiler/src/dotty/tools/dotc/quoted/QuotePatterns.scala +++ b/compiler/src/dotty/tools/dotc/quoted/QuotePatterns.scala @@ -89,7 +89,7 @@ object QuotePatterns: for (typearg <- tree.typeargs) // case (1) do if !typevars.contains(typearg.symbol) then - report.error("Type arguments of a hoas pattern needs to be introduced in the quoted pattern", typearg.srcPos) + report.error("Type arguments of a hoas pattern needs to be defined inside the quoted pattern", typearg.srcPos) for (arg <- tree.args) // case (2) do if !uncapturedTypeVars(arg, tree.typeargs).isEmpty then