Commit 62ea061

committed

Add result caps for type-parameter-only defs

1 parent c35fbe4 commit 62ea061Copy full SHA for 62ea061

File tree

-1

lines changed

-1

lines changed

Lines changed: 3 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ import annotation.constructorOnly`
`21`	`21`	`import ast.tpd`
`22`	`22`	`import printing.{Printer, Showable}`
`23`	`23`	`import printing.Texts.Text`
`24`		`-import reporting.Message`
	`24`	`+import reporting.{Message, trace}`
`25`	`25`	`import NameOps.isImpureFunction`
`26`	`26`	`import annotation.internal.sharable`
`27`	`27`
`@@ -881,6 +881,8 @@ object Capabilities:`
`881`	`881`	`m(tp) match`
`882`	`882`	`case tp1: ExprType if sym.is(Method, butNot = Accessor) =>`
`883`	`883`	`tp1.derivedExprType(toResult(tp1.resType, tp1, fail))`
	`884`	`+ case tp1: PolyType if !tp1.resType.isInstanceOf[MethodicType] =>`
	`885`	`+ tp1.derivedLambdaType(resType = toResult(tp1.resType, tp1, fail))`
`884`	`886`	`case tp1 => tp1`
`885`	`887`	`end toResultInResults`
`886`	`888`

Comments

(0)