{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"if"}]}
    if predicates_reference_self(db, trait_) {
    // Check if there exist bounds that referencing self
        cb(DynCompatibilityViolation::SelfReferential)?;