The type system has a function can_eq this adds a with_errors flag

With the type system we can check for equality explicitly which is useful.
When it comes to TypeParameters or Placeholders can_eq allows for:

  fn bla<T>() -> <T>
  fn bla() -> i32

The type parameter can be subsituted which means the generic function can
equal the subsituted one if it was given the right substituion arguments.

This can emit errors such as expected [X] got [Y] or we might want to
have silent errors so we can filter impl items such as the impl item
overlapping pass

0 files changed, 0 insertions, 0 deletions