Tag Archives: type-narrowing logic