From 0053e33ad799c9fc7451c0a7994d6e92745a57e1 Mon Sep 17 00:00:00 2001
From: dotty-bot
Substitute argument type argType
for parameter pref
in type tp
,
+skolemizing the argument type if it is not stable and pref
occurs in tp
.
Substitute argument type argType
for parameter pref
in type tp
,
+skolemizing the argument type if it is not stable and pref
occurs in tp
.