Skip to content

Ensure that coreView/tcView are able to inline

Ben Gamari requested to merge wip/T17441 into master

Previously an import cycle between Type and TyCoRep meant that several functions in TyCoRep ended up SOURCE import coreView. This is quite unfortunate as coreView is intended to be fused into a larger pattern match and not incur an extra call.

Fix this with a bit of restructuring:

  • Move the functions in TyCoRep which depend upon things in Type into Type
  • Fold contents of Kind into Type and turn Kind into a simple wrapper re-exporting kind-ish things from Type
  • Clean up the redundant imports that popped up as a result

Closes #17441 (closed).

Merge request reports