reflection: refactor `@assume_effects` implementation #52399
aviatesk
force pushed
from
e1410dd0
to
cc0638bf
2 years ago
reflection: refactor `@assume_effects` implementation
f73df4f4
aviatesk
force pushed
from
cc0638bf
to
f73df4f4
2 years ago
aviatesk
merged
f96585b5
into master 2 years ago
aviatesk
deleted the avi/assume_effects-refactoring branch 2 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub