microsoft/knossos-ksc

infer_fn_type_from_derived_fn_args should return Type?

toelli-msft opened this issue · 0 comments

Should the return type here be Type? I don't understand how the return type could be StructuredName.

def infer_fn_type_from_derived_fn_args(
sname: StructuredName, argtype: Type
) -> StructuredName: