[temp.res.general] p5: dependent names in other than type-only context
Personne n'a encore pris cette issue.
- Langage dominant
- TeX
- Étoiles
- 221
- Forks
- 813
- Merge moyen
- 16 h 4 min
- PR mergées (30 j)
- 36
Description
Consider the first sentence in [temp.res#general-5]
A qualified-id whose terminal name is dependent and that is in a type-only context is considered to denote a type.
How about the otherwise case? if the terminal name is not in a type-only context, whether it may denote a type or it definitely does not denote a type? It's difficult to infer the meaning of the otherwise cases from the current sentence.
Is it more clear if we change it to that
A qualified-id whose terminal name is dependent is considered to denote a type if and only if its terminal name is in a type-only context.
In this sentence, the subtext means the qualified-id can never denote a type if the dependent terminal name is not in a type-only context. This subtext also conforms to the intent of the standard.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Lisez [temp.res#general-5], en particulier sa première phrase et la formulation environnante ; comparez le texte proposé « if and only if » avec l’intention énoncée pour les noms dépendants en dehors des contextes réservés aux types. Le travail est considéré comme terminé lorsque la question de la formulation est résolue et que ce texte de la norme est mis à jour si la clarification proposée est acceptée.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- tex
- Domaine
- documentation
- Type d'issue
- Documentation
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 38/100