Max Sagebaum

Why is the first one a corner case? Usually the parsing should nearly be the same, so I am wondering why the second case should be so different?

Yes, begin and end form a block, but the parsing of arguments should still be the same for all commands and begin/end blocks?

Yes, it is a block that uses a minted block in a listing the real code is: ``` \newminted[code]{cpp}{ mathescape, gobble=0, fontsize=\small, frame=single, beameroverlays=true, escapeinside=|| } \newmintinline[ic]{cpp}{} \newenvironment{codeRef}[3][H] {\VerbatimEnvironment \begin{listing}[#1]...

I would raise the question "Why do we need overload detection?" The interface for calling a metafunction is already defined. It needs to have one argument which is of type...

Ok, one could argue that the `in` case is just a special version of the `inout` case. Therefore, the `inout` case would be enough. If both need to be supported,...

> @JohelEGP / @MaxSagebaum / everyone: Would making that change destabilize any of you, such as [this Godbolt environment](https://cpp2.godbolt.org/z/3YjrvKdKP) ? I usually prefer the -o option. But, I see the...

I can second this. Also the error messages if the lookup fails are usually not very intuitive.

That would really improve the situation. A side note: Allowing to disable UFCS on a call by call basis, could help to find bugs in the implementation.

An example for my usecase is implemented in dfb1113f4ce045b62181fb7935e89ff3576c4943. What we do is to implement some operators and add them to an expression framework. In order to that, we need...

Thanks for the comments. If there is nothing else, I would remove my examples and squash the commits.