const-qualified function？

• 以下のコードで、(1)は不正 (8.3.5/4)
  • GCC3.4とComeauではコンパイルできる
  • 最新のDraftではconstは無視されるので合法になる？(参照)
• (2)は何が起こるべきなのか不明
  • VC++7.1/8とComeauではコンパイル出来る
  • GCC3.4ではコンパイル出来たり出来なかったりする

[]void[] []a[][]() { }[]

[]template[][]< [][]class[] []T[][] >[]

[]void[] []x[][]([][]T[] []const[][]&) { }[]
[]template[][]< [][]class[] []T[][] >[]

[]void[] []y[][]([][]T[][]&) { }[]
[]template[][]< [][]class[] []T[][] >[]

[]void[] []z[][]([][]T[][]) { }[]


[]template[][]< [][]class[] []T[][] >[]

[]void[] []o[][]([][]T[][]&) { }[]
[]template[][]< [][]class[] []T[][] >[]

[]void[] []o[][]([][]T[] []const[][]&) { }[]


[]int[] []main[][]()[]

[]{[]

    []// x(a); // error (1)[]

    []x[][](&[][]a[][]);[]
    []y[][]([][]a[][]);[]

    []// y(&a); // error[]
    []z[][]([][]a[][]); [][]// decayed[]

    []z[][](&[][]a[][]);[]
    []o[][]([][]a[][]); [][]// ??? (2)[]

[]}[]