contextual type inference（文脈型推論）が効かない件

Question

文脈上の型付けが私の環境ではなされていないようで、以下のようなコードでは、本来ならばonmousedown関数の型から推論して、代入されようとしている関数の引数mouseEventのプロパティーであるボタンのタイポのエラーを吐いてくれないといけないはずなのにmouseEventがanyでとなるエラーがでます。環境設定の問題でしょうか？

    window.onmousedown = function(mouseEvent) {
        console.log(mouseEvent.buton) // ← タイポ
    };

lib.dom.d.ts

onmousedown: ((this: GlobalEventHandlers, ev: MouseEvent) => any) | null;

interface MouseEvent extends UIEvent {
    readonly altKey: boolean;
    readonly button: number;
    /* 以下略 */
}

パラメーター 'mouseEvent' の型は暗黙的に 'any' になります。ts(7006)

tsconfig.json

{
  "compilerOptions": {
    "target": "es2016",
    "module": "ES6",
    "strict": true,
    "strictNullChecks": true,
    "moduleResolution": "node",
    "esModuleInterop": true,
    "declaration": false,
    "sourceMap": false,
    "outDir": "./dist/js/",
    "rootDir": "./src/",
    "lib": ["es6", "dom", "es2017", "es2018", "es2015.iterable","scripthost"],
    "downlevelIteration": true,
    "baseUrl": "./",
    "typeRoots": ["node_modules/@types"],
    "strictFunctionTypes": false,
    /* Experimental Options */
    "experimentalDecorators": true,
    "emitDecoratorMetadata": true,
    "strictPropertyInitialization": true,
    "noImplicitThis": true,
  },
}

Visual Studio Code
バージョン: 1.47.2