Create representation for implicit/explicit object parameters

[cdacamar]

Consider:

struct S {
  void f(this S);
};

Today, the IFC has no way of representing the explicit object parameter member function S::f. We could fix this by creating a new type to wrap the parameter type of f but this is not generic enough. Rather we should consider a solution which could see MethodType removed in favor of a more generalized function type containing the explicit/implicit object parameter. This was also discussed in an IPR issue.

[DanielaE]

I anybody aware of the fate of this suggested/necessary improvement? Or shall I prepare a 🎂 for the 🥳🪅🎉