do you need to catch any exceptions that happen here? i thought the type-checking code relied on this