{"ast_node_type":"impl","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
/// the blanket impl is selected, we unify `$0=()`, and the program prints
/// so the program prints "false". However, if the where-clause is omitted,
/// "()".