vscode的typescript类型检查问题

我使用了vue+typescript,但是vue-router的类型声明不起作用,vue-trouer包下面的type里面有这个声明,

我访问$router属性的时候编辑器进行类型检查的时候说没有这个属性

这是啥情况呢

上面一个是hello workd么，没看到定义