filter out unreachable type