Richard Smith 561e45033e Remove `TypeOf*Type` for types whose type-of-type can just be `Type` (#2302) 3 anni fa
..
add.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
add_builtin.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
bit_and.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
bit_complement.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
bit_or.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
bit_xor.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
bitwise.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
combine.carbon 561e45033e Remove `TypeOf*Type` for types whose type-of-type can just be `Type` (#2302) 3 anni fa
div.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
div_builtin.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
fail_combine_lhs.carbon 561e45033e Remove `TypeOf*Type` for types whose type-of-type can just be `Type` (#2302) 3 anni fa
fail_combine_rhs.carbon 561e45033e Remove `TypeOf*Type` for types whose type-of-type can just be `Type` (#2302) 3 anni fa
fail_no_add.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
fail_no_mul.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
fail_no_negate.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
fail_no_sub.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
left_shift.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
mod.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
mod_builtin.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
mod_edges.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
mul.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
mul_builtin.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
negate.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
negate_builtin.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
right_shift.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
shift.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
shortcircuit_and.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
shortcircuit_and_no_shortcircuit.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
shortcircuit_or.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
shortcircuit_or_no_shortcircuit.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa
sub.carbon 4b679510e7 Check equality constraints when checking whether a constraint is satisfied (#2294) 3 anni fa
sub_builtin.carbon eac7c2bda4 Automate the addition of RUN and simplify RUN lines (#2292) 3 anni fa