Check type assertions