pub(crate) fn try_normalized_defns( genv: GlobalEnv<'_, '_>, ) -> Result<NormalizedDefns, ErrorGuaranteed>