final inline def assertIO[R, E, T](inline effect: ZIO[R, E, T])(inline predicate: T=>Boolean)(implicit prettifier: Prettifier, pos: Position, zioTrace: Trace): ZIO[R, E, Assertion]
final inline def assertIO[R, E, A, B](inline effectA: ZIO[R, E, A], inline effectB: ZIO[R, E, B])(inline predicate: (A, B) =>Boolean)(implicit prettifier: Prettifier, pos: Position, zioTrace: Trace): ZIO[R, E, Assertion]