This reverts commit ca4c4a67. This was intended not to introduce new consistency diagnostics for smart pointer types, but failed to ignore sugar around types when detecting this. Fixed and test added.
mentioned in commit 28760b63
·mentioned in commit 28760b63