functions marked always inline fail typechecking if they are not static#1519

Closed

kroening wants to merge 1 commit intodevelopfrom

always-inline-fail

Commits on Oct 25, 2017

functions marked always inline fail typechecking if they are not static
Daniel Kroening
committed