[Builtins] Split 'KnownBuiltinTypeIn' out of 'DefaultKnownBuiltinTypeIn'#6327

Closed

effectfully wants to merge 4 commits intomasterfrom effectfully/builtins/split-KnownBuiltinTypeIn-out-of-DefaultKnownBuiltinTypeIn

+139-67

Commits on Jul 24, 2024

[Builtins] Split 'KnownBuiltinTypeIn' out of 'DefaultKnownBuiltinTypeIn'
effectfully
committed

Commits on Jul 29, 2024

Commits on Jul 30, 2024

Return the old 'geq'
effectfully
committed