Make pointer-primitive-check a no-op when behaviour is always defined#6491

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:pointer-primitive-check-cleanup

Dec 7, 2021

Commits on Dec 4, 2021

Make pointer-primitive-check a no-op when behaviour is always defined
tautschnig
committed