{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//"}]}
    // as we don't normalize during implied bounds computation.
    // We also have to add the normalized trait signature
    wf_tys.extend(trait_sig.inputs_and_output.iter());