uninhabitable type analysis for anon classes #547