{"ast_node_type":"variable","tokens":[{"end":41,"kind":"keyword","start":0,"text":"if"}]}
        if let Some(ty) = inputs.next() {
        // Check that the argument is a tuple and is sized
            wfcx.register_bound(