ensureLeft method Null safety

  1. @TagNumber(2)
CompressedExistenceProof ensureLeft()

Implementation

@$pb.TagNumber(2)
CompressedExistenceProof ensureLeft() => $_ensure(1);