Infer any as morph return

[ssalbdivad]

const t = type("string", "=>", (s) => s as any);
// currently this fails because it is inferred as `(In: string) => any`
attest<any>(t.infer);

This is due to the way morphs are extracted in distill while trying to preserve named types inferred from e.g. instanceof.

If we can fix this without significant type performance costs, we should. That said, who wants to return any from their morphs anyways?