SI-6837: quasiquotes sometimes require specific static types of splicees

This is fixed by making generated matcher return type inferred
instead of manually computed.