It looks like [temp.deduct]p11 bullet 2 also needs an update. Eg:

template<typename T> void f(T (*)[5]);
struct Abstract { virtual ~Abstract() = 0; };
void g() { f<Abstract>(nullptr); } // now ok, despite what bullet 2 says

Also, from the wording paper: "Editorial note: I suggest to move the statement about function definitions to 11.4 [dcl.fct.def]." This seems like a good idea to me; please either do this or open an issue so we don't forget.

I've fixed the two issues you mentioned, @zygoloid.