Fix ty failure on master from the #50/#51 merge crossover#52

Korijn merged 1 commit into

masterfork-tongue/patchdiff:masterfrom

claude/fix-typecheckfork-tongue/patchdiff:claude/fix-typecheckCopy head branch name to clipboard