Do precise subtype tests in instanceof#2588

Merged

dcodeIO merged 16 commits intomainfrom

Dec 14, 2022

Commits on Dec 7, 2022

Assume that interfaces represent a derived object
dcodeIO
committed

Commits on Dec 8, 2022

Commits on Dec 9, 2022

fix
dcodeIO
committed

Commits on Dec 12, 2022

simplify
dcodeIO
committed

Commits on Dec 14, 2022

document
dcodeIO
committed
better tests
dcodeIO
committed