};
}
-sub has_inlined_type_constraint {
+sub can_be_inlined {
my $self = shift;
- return all { $_->has_inlined_type_constraint }
- @{ $self->type_constraints };
+ return all { $_->can_be_inlined } @{ $self->type_constraints };
}
sub _inline_check {
@{ $self->type_constraints };
};
+sub inline_environment {
+ my $self = shift;
+
+ return { map { %{ $_->inline_environment } }
+ @{ $self->type_constraints } };
+}
+
sub equals {
my ( $self, $type_or_name ) = @_;