Clarify that user-defined conversions are considered for splicing #116

Closed daveedvdv closed 8 months ago