Is there type safety for inject and provide with the options API?

[dyllandry]

I am migrating a vue 3 options API code base to using typescript. There are some components using provide & inject. I'd like to provide type safety for that using the options API.

I noticed some issues asking about inject and provide type safety with the options api:

• Add type inference to Options API provide / inject or add docs for not supporting it #3031
• The inject option in Mixins cant be inferred #7751
• Injected prop does not exist on ComponentPublicInstance in TypeScript #5931

This PR made injected properties all resolve to unknown and closed some of the issues asking for support: #6804

Is there a way to actually receive the correct type when using the options API? I know you can do it with the composition API using InjectionKey.

I've tried the following but get an error:

<script lang="ts">
import { defineComponent, provide, type InjectionKey } from 'vue';

const TestKey = Symbol('test') as InjectionKey<number>;

provide(TestKey, 123);

export default defineComponent({
	name: 'Portal',
        // typescript: No overload matches this call.
        // The last overload gave the following error.
        //     Type '{ injected: InjectionKey<number>; }' is not assignable to type 'ComponentInjectOptions | undefined'.
        //     Types of property 'injected' are incompatible.                                                                                    
        //     Type 'InjectionKey<number>' is not assignable to type 'string | symbol | { from?: string | symbol | undefined; default  ?: unknown; } | undefined'. [2769]
	inject: { injected: TestKey },
	// ...
});
</script>