It figures it out by explicitly type-checking against the targets it's handed