Function typing_env_normalized_for_post_analysis 

fn typing_env_normalized_for_post_analysis<'tcx>() -> TypingEnv<'tcx>