Subtyping: Revision history

Template:FlatlistExternal tools:

Template:Endflatlist


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. Template:Nowrap from current version, Template:Nowrap from preceding version, Template:Nowrap, Template:Nowrap, Template:Nowrap

26 May 2025

  • curprev 11:1511:15, 26 May 20252a00:23c8:f506:3201:72b7:8b4f:6243:f1c5 talk 28,959 bytes +28,959 The whole point of coercive subtyping is to be explicit on the use of subtyping (via the coercion functions, as explained in the rest of the paragraph). This was likely a typo, but a very confusing one.