c++/1630: [temp.deduct.call] allows more lenient qualifcation convs

[nathan@codesourcery.com]

>Number:         1630
>Category:       c++
>Synopsis:       [temp.deduct.call] allows more lenient qualifcation convs
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    unassigned
>State:          open
>Class:          accepts-illegal
>Submitter-Id:   net
>Arrival-Date:   Fri Jan 12 04:46:01 PST 2001
>Closed-Date:
>Last-Modified:
>Originator:     Nathan
>Release:        CVS 20010112
>Organization:
>Environment:

>Description:
Type deduction in a function call allows more lenient
conversions than conv.qual [4.4] allows. The attached
program instantiates Foo<int>, but then issues
an error about converting int ** to int const *.
The deduction should fail as that wasn't a qualification
conversion in the first place.

This is related to fixing bug 1617

I'm having a little difficulty coming up with a test case
where we actually accept the erroneous deduction, or issue
errors on different lines -- any suggestions welcome.
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="1617-b.ii"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="1617-b.ii"

CnRlbXBsYXRlIDx0eXBlbmFtZSBUPiB2b2lkIEZvbyAoVCBjb25zdCAqKik7Cgp2b2lkIGJheiAo
aW50ICoqcDEpCnsKICBGb28gKHAxKTsKfQo=