JakubMisek Ray thank you for pointing this out. Yes, we incorrectly guess the type from the parent Exception declaration.