/targets/x86_64-linux/include/thrust/iterator/detail/iterator_traits.inl(53): here
instantiation/targets/x86_64-linux/include/thrust/system/detail/generic/binary_search.inl(225): he
我正在构建一个泛型函数,它接受表单HList的F[T1] :: ... :: F[Tn] :: HNil,将其转换为F[T1 :: ... :: Tn :: HNil],然后需要将其传递到传入的块中。但是,为了使其工作,我需要提取F[_]中的F[_]类型。我在无形的“”下发现了一些远程相关的东西 * Type class witnessing that every element of `L` has `TC` as its outer type constructor. trait UnaryTCConstraint[L <: HList, TC[_]]
...b