{"ast_node_type":"variable","tokens":[{"end":53,"kind":"keyword","start":0,"text":"if"}]}
        if let Some(principal) = bounds.principal() {
        // a projection goal.
            let principal_trait_ref = principal.with_self_ty(cx, self_ty);