Lines Matching refs:deduced
2144 The template args (those explicitly specified and those deduced)
2362 /* We deduced something involving 'auto', which isn't a valid
2366 /* Save this template, and the arguments deduced. */
2424 // If the deduced arguments do not satisfy the constraints,
3127 elided if they can be deduced from the rest of the
5121 /* In C++17 the type of a non-type argument is a deduced context. */
5215 /* One of the template parms was not used in a deduced context in the
5515 list by partial instantiation rather than be fully deduced. */
6978 " deduced conflicting types for parameter %qT (%qT and %qT)",
6982 " deduced conflicting values for non-type parameter "
7076 "inconsistent with other deduced template arguments");
8035 entire template argument list is a non-deduced
8229 /* Verifies that the deduced template arguments (in TARGS) for the
8235 deduced. It will return TRUE if all of the template template
8420 the full set of template arguments deduced so far. */
8676 /* Drop top-level cv-qualifiers on the substituted/deduced type of
10078 /* If the deduced arguments are invalid, then the binding
10522 non-deduced contexts. */
10661 /* A template-id in a TYPENAME_TYPE might be a deduced context after
10680 /* These are non-deduced contexts. */
10721 parameters that occur in non-deduced contexts. When false, only
10722 visits those template parameters that can be deduced. */
15940 where types are expected. Adjust this to the deduced
21991 /* Otherwise, not. Well, it could be deduced from
22034 parameter pack is a non-deduced context. */
22056 it. TARGS is a vector into which the deduced template arguments
22274 goto deduced;
22316 ensure that the arguments deduced for the template template
22318 check this property before we have deduced all template
22321 deduced after the template template parameter. The following
22333 parameter 'T', but 'C' is deduced to 'X' before 'T' is deduced to
22343 deduced:
22365 When all template arguments have been deduced, all uses of
22367 the corresponding deduced argument values. If the
22398 parameters are used in non-deduced contexts. But don't check
22633 argument can be deduced. In other words, if it's an undecorated
22830 deduced from a pointer to function or pointer
22840 non-deduced context, so we still succeed. */
22897 /* Try to deduce any not-yet-deduced template type arguments from the type of
22899 "The type of a type parameter is only deduced from an array bound if it is
22900 not otherwise deduced." */
22978 parameter pack is a non-deduced context. */
23017 they aren't all deduced as empty packs (c++/57397). This is
23073 deduced from a later argument than the one from which
23074 this parameter can be deduced. */
23085 If a template argument has not been deduced, its
23097 be deduced to an empty parameter pack. */
23319 explicit arguments, this template-id is a non-deduced context; it
23343 /* [temp.deduct.type] A template-argument can be deduced from a pointer
23494 overload. Fills TARGS with any deduced arguments, or error_mark_node if
23519 /* [temp.deduct.type] A template-argument can be deduced from a pointer
23537 /* We don't copy orig_targs for this because if we have already deduced
23563 /* Check that the argument at each index of the deduced argument pack
23565 We may have deduced more arguments than were explicitly specified,
23646 with S<I, I, I>. If we kept the already deduced knowledge, we
23702 If they yield more than one possible deduced A, the type
23710 indirectly) from a class B and that would be a valid deduced
23711 A, the deduced A cannot be B or pointer to B, respectively. */
23852 /* Only template parameter packs can be deduced, not e.g. function
23922 /* For each parameter pack, collect the deduced value. */
23935 the deduced argument packs available. */
23944 /* By default keep the original deduced argument pack.
23946 resulting deduced argument later down in this function. */
23971 /* Build the deduced *_ARGUMENT_PACK. */
23982 /* Note the deduced argument packs for this parameter
24005 is only deduced from the number of remaining function
24006 arguments if it is not otherwise deduced. */
24118 are deduced, then TARGS is updated.
24126 Allow the deduced ARG to be more cv-qualified (by qualification
24129 Allow the deduced ARG to be less cv-qualified than ARG.
24131 Allow the deduced ARG to be a template base class of ARG,
24135 Allow any integral type to be deduced. See the TEMPLATE_PARM_INDEX
24200 is a non-deduced context. */
24257 deduced A with std::initializer_list<A>. */
24303 argument values cannot be deduced for template parameters used
24479 deduced, the template-argument type shall match the type of the
24481 deduced from an array bound may be of any integral type.
24482 The non-type parameter might use already deduced type parameters. */
24516 /* Convert the ARG to the type of PARM; the deduced non-type
24522 /* We haven't deduced the type of this parameter yet. */
24591 be converted to the deduced A via a qualification
24683 is a non-deduced context. */
24748 the deduced A. Likewise, if P is a pointer to
24751 deduced A. */
24797 /* CV qualifications for methods can never be deduced, they must
24952 This is a "non-deduced context":
24956 The non-deduced contexts are:
25096 deduction, after all the arguments have been deduced in this way,
25097 we do *not* verify the deduced template argument values can be
25098 substituted into non-deduced contexts.
25581 ensure that the arguments deduced for the template template
27317 error ("non-type template parameters of deduced class type only "
27983 /* Array type whose dimension has to be deduced. */
29791 type, something that can be deduced when used as a function template
29840 /* [over.match.class.deduct]: When resolving a placeholder for a deduced
29850 are deduced from the defining-type-id of A according to the process in
29852 template arguments are deduced. Let g denote the result of substituting
29863 template parameters of f that were not deduced (including their default
29918 non-deduced parms of f. */
29934 /* Now rewrite the non-deduced parms of f. */
29948 /* Substitute the deduced arguments plus the rewritten template
30365 /* Replace occurrences of 'auto' in TYPE with the appropriate type deduced
30379 scope may be appended to the list of deduced template arguments prior to
30478 tree deduced = finish_decltype_type (init, id, complain);
30479 deduced = canonicalize_type_argument (deduced, complain);
30480 if (deduced == error_mark_node)
30483 TREE_VEC_ELT (targs, 0) = deduced;
30533 /* Check any placeholder constraints against the deduced type. */
30603 error ("deduced initializer does not satisfy "
30607 error ("deduced return type does not satisfy "
30611 error ("deduced expression type does not satisfy "
30667 'decltype(auto)' or a deduced class template. */
Indexes created Sun Mar 01 05:31:48 UTC 2026