Support generic inline proofs and closed method coverage - #3741

Support generic inline proofs and closed method coverage#3741

joshlf wants to merge 1 commit into

Gzdelmzn5y42ab3htat7lqrwovbusi5shgoogle/zerocopy:Gzdelmzn5y42ab3htat7lqrwovbusi5shfrom

Ggyxdemsrutwypf7tui4otq6shrm2ivahgoogle/zerocopy:Ggyxdemsrutwypf7tui4otq6shrm2ivahCopy head branch name to clipboard