Skip to content

Commit edd094a

Browse files
committed
icky cast of rbs upper bound
fixes a type error; guessing there's a better way to accomplish this
1 parent 32532e8 commit edd094a

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

src/rbs/printer.ts

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -466,9 +466,7 @@ const printer: Plugin.PrinterConfig<RBS.AnyNode> = {
466466
}
467467

468468
if (node.upper_bound) {
469-
const path = paramPath as Plugin.Path<
470-
RequiredKeys<RBS.Param, "upper_bound">
471-
>;
469+
const path = paramPath as Plugin.Path<{ upper_bound: RBS.Type }>;
472470
const upperBound = path.call(printType, "upper_bound");
473471
return join(" ", [...parts, node.name, "<", upperBound]);
474472
} else {

0 commit comments

Comments
 (0)