pragmas: type pragmas must follow generic params#400

Merged

bors[bot] merged 1 commit intonim-works:develfrom saem:saem-qw-06-pragmas-type-pragmas-must-follow-generic-params

Aug 7, 2022

+59-53

Commits on Aug 6, 2022

pragmas: type pragmas must follow generic params
saem
committed