The type definition of `$loading` conflicts with Buefy's one

Version

v2.4.0

Reproduction link

https://github.com/iwata/codesandbox-nuxt

Steps to reproduce

$ git clone [e-mail]:iwata/codesandbox-nuxt.git
$ yarn install
$ yarn dev

What is expected ?

No type checking errors

What is actually happening?

It shows this error:

ERROR in /Users/iwata/.go/src/github.com/iwata/codesandbox-nuxt/node_modules/@nuxt/vue-app/types/index.d.ts(73,18):
TS2430: Interface 'NuxtApp' incorrectly extends interface 'Vue'.
  Types of property '$loading' are incompatible.
    Property 'open' is missing in type 'NuxtLoading' but required in type '{ open: (params: LoadingConfig) => { close: () => any; }; }'.

Additional comments?

If you import Buefy looks like plugins/buefy.ts, it declares $loading for Vue instance. https://github.com/buefy/buefy/blob/dev/types/index.d.ts#L10 So NuxtApp extends the Vue, therefore $loading conflicts. https://github.com/nuxt/nuxt.js/blob/v2.4.0/packages/vue-app/types/index.d.ts#L73-L74

<div align="right">_{This bug report is available on Nuxt community (#c8559)}</div>

[P-de-Jong]

For now i added the following to my tsconfig.json:

"compilerOptions": {
    "skipLibCheck": true
}

[manniL]

We will change it to $nuxt.$loading this.$nuxt.$progress in Nuxt 3 ☺️