fn gate_feature_post(
    features: &Features,
    feature: Symbol,
    span: Span,
    explain: &'static str
) -> Result<(), AbiDisabled>