Clarify exclusion comment further

This commit is contained in:
Oliver Scherer 2018-10-25 19:39:01 +02:00
parent 4dc028743d
commit f4fe9b0a09

View File

@ -982,7 +982,8 @@ impl<'a, 'tcx> Visitor<'tcx> for Qualifier<'a, 'tcx, 'tcx> {
// Since the argument is required to be constant,
// we care about constness, not promotability.
// If we checked for promotability, we'd miss out on
// the results of function calls (which are never promoted)
// the results of function calls (which are never promoted
// in runtime code)
// This is not a problem, because the argument explicitly
// requests constness, in contrast to regular promotion
// which happens even without the user requesting it.