I couldn't find in the source code where types are inferred.