No type available

[YadhuCU]

type A = number;
type B = string;
type C = boolean;
type D = A | B | C;
//   ^?

this is the sample code i ran but eventually i couldn't find any types as expected, instead it shows No type available.
NB: lazy as package manager.

[xav-ie]

Can you share how you use lazy? I do not use lazy, so I would just like a minimally reproducible example so I can help you.

[YadhuCU]

witt.lua

return {
    "typed-rocks/witt-neovim",
    config = function()
        require("witt")
    end
}

this is all I've in my witt configuration.

[YadhuCU]

created a WittRestart user command. and that's pretty much fixes the problem when I call the WittRestart