Function implied_validation 

fn implied_validation(
    tcx: TyCtxt<'_>,
    local: LocalDefId,
) -> Option<ValidatedStatus>