[#llvm-CastInfo-00]
= xref:llvm.adoc[llvm]::xref:llvm/CastInfo-01.adoc[CastInfo]<To, From>
:relfileprefix: ../
:mrdocs:

`CastInfo` specialization that forwards through `simplify_type.`

== Synopsis

Declared in `<llvm/Support/Casting.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template<
    typename To,
    typename From>
requires !is_simple_type<From>::value
struct xref:llvm/CastInfo-01.adoc[CastInfo]<To, From>;
----

== Description

This struct provides an overload for CastInfo where From has simplify_type defined. This simply forwards to the appropriate CastInfo with the simplified type/value, so you don't have to implement both.

== Type Aliases

[cols="1,4"]
|===
| Name| Description
| xref:llvm/CastInfo-00/Self.adoc[`Self`] 
| This `CastInfo` specialization, used for CRTP‐style calls.
| xref:llvm/CastInfo-00/SimpleFrom.adoc[`SimpleFrom`] 
| Source type after `simplify_type` is applied.
| xref:llvm/CastInfo-00/SimplifiedSelf.adoc[`SimplifiedSelf`] 
| `CastInfo` for the simplified source type.
|===


== Static Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/CastInfo-00/castFailed.adoc[`castFailed`] 
| Returns the failed‐cast sentinel from the simplified `CastInfo.`
| xref:llvm/CastInfo-00/doCast.adoc[`doCast`] 
| Casts the simplified form of `f` to `To.`
| xref:llvm/CastInfo-00/doCastIfPossible.adoc[`doCastIfPossible`] 
| Casts the simplified form of `f` if possible; otherwise fails.
| xref:llvm/CastInfo-00/isPossible.adoc[`isPossible`] 
| Returns true if the simplified form of `f` can be cast to `To.`
|===



[.small]#Created with https://www.mrdocs.com[MrDocs]#