The data-type propagation system can push around data-types that are \e partial or are otherwise unrepresentable in the source language. This method substitutes those data-types with a concrete data-type that is representable, or returns the same data-type if is already concrete. Its important that the returned data-type have the same size as the original data-type regardless. \param ct is the gi
source not stored for this graph (policy: none)
no test coverage detected