aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/RoleAnnotations/role-with-infer.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE RoleAnnotations #-}

module RoleWithInfer where

type role InferBox _ nominal
data InferBox a b = InferBox b