TypeCheckInvertible.h

#ifndef SWIFT_SEMA_TYPECHECKINVERTIBLE_H
#define SWIFT_SEMA_TYPECHECKINVERTIBLE_H

#include "swift/AST/TypeCheckRequests.h"
#include "swift/AST/ProtocolConformance.h"

namespace swift {

class StorageVisitor {
public:
  /// Visit the instance storage of the given nominal type as seen through
  /// the given declaration context.
  ///
  /// The `this` instance is invoked with each (stored property, property type)
  /// pair for classes/structs and with each (enum elem, associated value type)
  /// pair for enums. It is up to you to implement these handlers by subclassing
  /// this visitor.
  ///
  /// \returns \c true if any call to this \c visitor's handlers returns \c true
  /// and \c false otherwise.
  bool visit(NominalTypeDecl *nominal, DeclContext *dc);

  /// Handle a stored property.
  /// \returns true iff this visitor should stop its walk over the nominal.
  virtual bool operator()(VarDecl *property, Type propertyType) = 0;

  /// Handle an enum associated value.
  /// \returns true iff this visitor should stop its walk over the nominal.
  virtual bool operator()(EnumElementDecl *element, Type elementType) = 0;

  virtual ~StorageVisitor() = default;
};

/// \returns true if the conformance to Copyable was successfully validated.
bool checkCopyableConformance(ProtocolConformance *conformance);

/// \returns true if the conformance to Escapable was successfully validated.
bool checkEscapableConformance(ProtocolConformance *conformance);

/// You should be using `ImplicitKnownProtocolConformanceRequest` instead
ProtocolConformance *deriveConformanceForInvertible(Evaluator &evaluator,
                                                    NominalTypeDecl *nominal,
                                                    KnownProtocolKind kp);
}


#endif // SWIFT_SEMA_TYPECHECKINVERTIBLE_H