TypeScript × GitHub Copilot：型情報を活かした高精度コーディング