Assert that both occurrences of the same parameters are set to the same

[jermp]

Yes, actually this is currently not ideal as the builder itself should be templated by those templates, but this increases compilation and code size. So I think it's fine for the moment being just to assert as you suggested.