Function parameter that has inferred type has no intellisense in the return , while it has in the rest of the function body

[ghost]

TypeScript Version: 3.9.2

Search Terms: generic , intellisense , infered type

Code:

/*
This function will be used in javascript projects.
I want its intellisense to work in javascript projects.
*/
function component<T>(p: {
	actions : () => T,
	htmlTemplate: <S extends T>(actions : S) => any
}) {
	return p;
}

component({
	actions : () => ({
		a : (x,y) => x+y
	}),
	htmlTemplate : (actions) => { 
		/*try to dot into the actions and you will get intellisense*/ 
		actions;
		/*but if you dot here you will get no intellisense*/ 
		return actions;
		/*
		Intellisense appears in the `return actions` If I type `x` and `y`.
		Strangely it works if I explicitly type them with `any`
		but it does not work if I they are implicilty typed with `any` .
		How can I have no problem with intellisense with implicit `any`?
		*/
	}
})

Expected behavior: Implicit any should have the same effect on intellisense with explicit any .

Actual behavior: Implicit any is different from explicit any .

Playground Link: link

[ghost]

off topic but an ugly "solution" is to do this :

const component = <T>(p1: {
	actions: () => T
}) => (p2: {
	htmlTemplate: <S extends T>(actions: S) => any
}) => Object.assign({}, p1, p2)

component({
	actions: () => ({
		a: (x, y) => x + y
	})
})({
	htmlTemplate: (actions) => {
		actions;
		return actions;
	}
});

and there is no problem with intellisense .