PR #62001 WIP: type system: Add TypeEgal kind

WIP: type system: Add TypeEgal kind #62001

Keno wants to merge 2 commits into master from kf/typeegal

Keno requested a review from

udesou 6 days ago

Keno requested a review from

qinsoon 6 days ago

Keno requested a review from

d-netto 6 days ago

Keno force pushed from a79664a2 to 177848e5 6 days ago

adienes added types and dispatch

Keno force pushed from 177848e5 to 7acc73e8 5 days ago

WIP: type system: Add TypeEgal kind

f2fb485d

type system: keep `==`-only type knowledge un-egaled (TypeEgal review…

f1cfe2b8

Keno force pushed from 7acc73e8 to f1cfe2b8 3 hours ago

Reviewers

udesou

qinsoon

d-netto

Assignees

No one assigned

Labels

types and dispatch

Milestone

No milestone