a tex document tries to get how does cpp type inference work