Add cov-mark coverage for type-checker error dedup#110

kaankacar wants to merge 2 commits intoInferara:mainInferara/inference:mainfrom

kaankacar:mainkaankacar/inference:mainCopy head branch name to clipboard