-
Thibault Saunier authored
We can't change the vmethod at this point so just cast. This makes the API more explicit so it is better in all cases.
534855d4
We can't change the vmethod at this point so just cast. This makes the API more explicit so it is better in all cases.