{"ast_node_type":"variable","tokens":[{"end":63,"kind":"keyword","start":0,"text":"if"}]}
    if let ty::Dynamic(data, ..) = trait_ref.self_ty().kind() {
    // check for overlap with the automatic `impl Trait for dyn Trait`
        // This is something like `impl Trait1 for Trait2`. Illegal if