What do people think about a type-directed code generation via code action?

I imagine an HLS integration of djinn (de-bitrotted) that adds currently in scope type/data/classes to the djinn environment then can update any undefined or perhaps hole with a djinn query.