When a traits(compiles) is used on a function literal call
we need to take into account if the body of the function
violates any attributes, however, we must not affect the
attribute inference on the outer function. The attributes
of the function literal still need to be inferred, therefore
we need a way to check for the scope that the traits compiles
introduces.
When a traits(compiles) is used on a function literal call we need to take into account if the body of the function violates any attributes, however, we must not affect the attribute inference on the outer function. The attributes of the function literal still need to be inferred, therefore we need a way to check for the scope that the traits compiles introduces.