Draft: Remove NoGhcTc (#18758)
This MR implements a temporary solution to #18758.
The goal here is to completely remove NoGhcTc
and make HsType GhcTc
a thing. This is achieved by turning HsType GhcTc
into a wrapper over Type
. All of the constructors of HsType GhcTc
are filled with Void
except XXType
, which has a Type
and a HsType GhcRn
(for pretty printing) inside.