Movatterモバイル変換

Proposed resolution (March, 2017):

This issue is resolved by the resolution ofissue 1710.

[Adopted at the February/March, 2017 meeting.]

The current wording of 13.3 [temp.names] paragraph 5 is:

A name prefixed by the keyword template shall be atemplate-id orthe name shall refer to a class template.

Presumably this should also allowtemplate before aliastemplates. For example,

  template<template<typename> class Template>  struct Internal {          template<typename Arg>          using Bind = Template<Arg>;  };  template<template<typename> class Template, typename Arg>  using Instantiate = Template<Arg>;  template<template<typename> class Template, typename Argument>  using Bind = Instantiate<Internal<Template>::template Bind, Argument>;