For many function “types” we could know if it’s constructible from the structure cell. For example, JSStrictFunction is always constructible, while JSArrowFunction and JSGeneratorFunction are not. Probably we would just store a TriState on the structure and if every structure flowing into the IsConstructor is either TriState::True or TriState::False we can fold to a constant. It’s possible we could store this info on the method table too.